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/e62c4e9d-a6ef-4c7c-b7ec-47e1cda84bfd%40googlegroups.com.
