Would it be difficult to support type recursion in records?
type r = {LinkedCell : option r, .....}
actually gives the error msg:
"Unbound constructor variable r"
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
