On Tue, Sep 1, 2020 at 10:37 AM Hongwei Xi <[email protected]> wrote: > The variable 'opts' is uninitialized but shared_make requires something that > is initialized.
Thanks. It's fixed. https://github.com/metasepi/postmortem/commit/1be2a88ef0dbdb7d908269d8172bb31152fd56d9 ```ats implement main0() = let var opts: ip6_pktopts val () = opts.ip6po_hlim := 0 val sh_inp0 = shared_make{ip6_pktopts}(view@opts | addr@opts) ``` And I found it's already explained at Wiki page: https://github.com/githwxi/ATS-Postiats/wiki/Internal-types > * S2Etop(knd=0; T) means T? Thanks, -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dkYbjEuG6mQA%2BWTu2ZPpVHptoGApGc_JC14J4QJcdmAJA%40mail.gmail.com.
