[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