gianp told me that this is similar to what SML provides. So I'll try too find some examples there.
He also said: < gianp> For the record, val rec in SML requires an fn expression on the right hand side So it looks like being a way to define local functions calling each other only .. Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
