[Ur] type recursion in records

Gabriel Riba gabriel at xarxaire.com
Fri Jul 3 10:11:25 EDT 2015


Would it be difficult to support type recursion in records?


type r = {LinkedCell : option r, .....}


actually gives the error msg:

"Unbound constructor variable r"






More information about the Ur mailing list