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 <[email protected]> wrote: > Dear Hongwei, > > On Tue, Apr 6, 2021 at 3:32 PM Hongwei Xi <[email protected]> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLoXZDkaSeX6z5XEhr6RCkPDXPXqJcq9%2BCJ6mnPOD8yyUA%40mail.gmail.com.
