I've just pushed a changeset that implements my original proposal. These lines are added to basis.urs:

type id
val fresh : transaction id

and 'id' attributes must have this new type.

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to