Okay. I put some 'topize' functions in basic_dyn.dats. Changes have been uploaded.
On Tue, Apr 6, 2021 at 3:44 AM Kiwamu Okabe <kiw...@debian.or.jp> wrote: > Dear Hongwei, > > On Tue, Apr 6, 2021 at 3:32 PM Hongwei Xi <gmh...@gmail.com> wrote: > > >>I feel the uninitize function is not safe... > > > > Such a function is always safe as initialized data can always > > be treated as uninitialized. > > I understood. > If so, could you include the `uninitize` praxi on ATS3 prelude library? > > I think this idiom is common for all of ATS programmer. > > Best regards, > -- > 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 ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DGG%2BiU8%2B_JiK%3D6zrC0WBQyRTM8BcD7FJQ5P0jFLGxaRA%40mail.gmail.com > . > -- 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 ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLoXZDkaSeX6z5XEhr6RCkPDXPXqJcq9%2BCJ6mnPOD8yyUA%40mail.gmail.com.
