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.