Oh, there's a gfree_val and gfree_ref On Saturday, May 5, 2018 at 11:01:16 PM UTC-4, gmhwxi wrote: > > Is there a template called gfree? You can put gfree<a>(x) there. > For non-linear x, > > implement(a:t@ype) gfree<a>(x) = (). > > On Saturday, May 5, 2018 at 10:51:34 PM UTC-4, Steinway Wu wrote: >> >> Hi, >> >> Even though `stream_vt (a)` is defined on `a: vt@ype`, many library >> functions for `stream_vt (a)` is only defined on `a: t@ype`. It feels like >> `a: t@ype` is easier to work with since there's no need to free a single >> element in some of the library functions, like `stream_vt_make_cons`. Is >> there other reasons not to support an element of some true view type? What >> should I put in the 2nd arg in `$ldelay` if I'd like to implement >> `stream_vt_make_cons` for `a: vt@ype`? >> >
-- 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 post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/0dba6dfd-46df-43ab-bf99-ee3b39ae35f4%40googlegroups.com.
