>>Okay, so what you are saying is that in order for the code to compile, I will need to implement the template for the given type.
That's right. Hopefully, such a template can be automatically generated in ATS3 based on the given (or inferred) type information. There should be a substantial component in ATS3 to support this kind of type-based meta-programming. On Tue, Dec 15, 2020 at 11:43 AM d4v3y_5c0n3s <tmj9...@gmail.com> wrote: > Okay, so what you are saying is that in order for the code to compile, I > will need to implement the template for the given type. That makes sense, > thanks for the explanation! :) > > On Tuesday, December 15, 2020 at 10:57:09 AM UTC-5 gmhwxi wrote: > >> It should not as arrayptr_freelin calls array_uninitize$clear to free all >> the stored elements. >> It is your obligation to implement the latter. >> >> >> On Tue, Dec 15, 2020 at 9:54 AM d4v3y_5c0n3s <tmj...@gmail.com> wrote: >> >>> I just have a question about using arrayptr_freelin() (which frees >>> an arrayptr that contains a vt@ype.) I have an arrayptr which contains >>> datavtypes, and these datavtypes act like a list in that they can contain a >>> reference to another of the same datavtype. The typechecker lets me simply >>> call arrayptr_freelin() on the arrayptr, but does this cause a memory >>> leak? Do I need to free the individual datavtypes first? >>> I can provide a code example if anyone reading this doesn't >>> understand what I am talking about. The types and functions that I am >>> using are all in the prelude. >>> >>> -- >>> 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-user...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/ats-lang-users/84121c93-a043-405c-be86-e7cc74903f68n%40googlegroups.com >>> <https://groups.google.com/d/msgid/ats-lang-users/84121c93-a043-405c-be86-e7cc74903f68n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- > 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/b6d0bb1a-cfa2-4c1d-aca5-3d669d827016n%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/b6d0bb1a-cfa2-4c1d-aca5-3d669d827016n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAPPSPLr23TN7MhK3nyGczRpJw%2B-WQM%3Dwz%2Bpp-jEG2Dvf-UVGHQ%40mail.gmail.com.
