I kind of hope there's some sort of `-<tmplate>` besides `-<fun>` and `-<clo>` stuff. Just to mark that this is a template and should be resolved later.
On Thursday, May 3, 2018 at 8:26:28 PM UTC-4, Steinway Wu wrote: > > Well, I sort of find a way around, that is to write a eta-expanded version > that is a template. So the template get's invoked right before it is used > to generate a closure. https://glot.io/snippets/f0pf8h25o9 > > > On Thursday, May 3, 2018 at 8:05:28 PM UTC-4, Steinway Wu wrote: >> >> Hi, >> >> If a put a template function invocation inside a closure function, it >> seems that the template is resolved at the closure definition time. I know >> one way to work around this is to use templates all the way, and replace >> closures with something like `foobar$fwork`. But is there another way of >> doing so while keeping the closures? Is there something like an anonymous >> template and corresponding type for it? >> >> >> -- 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 post to this group, send email to [email protected]. 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/22451dcd-a8d3-4adc-b71c-2482cd621c94%40googlegroups.com.
