[Ur] Invalid Link expression (again)
Adam Chlipala
adamc at csail.mit.edu
Sat Aug 10 10:14:38 EDT 2013
On 08/09/2013 06:40 PM, Sergey Mironov wrote:
> The final step towards true real-world use-case is to teach the
> compiler to descend into the records which contain functions. That is
> needed because template function often has many tweakable arguments
> and the record is the best place for them since we don't need to fix
> all the calls to template when add or delete another parameter. I've
> tried a hack - 'unpack' the record before passing it to real_template,
> but no, only direct arguments are valid currently. Is it hard to add
> such feature?
>
Added! (in the public Mercurial repo)
More information about the Ur
mailing list