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
I've just pushed a changeset that implements my original proposal.
These lines are added to basis.urs:
- [Ur] Abstract type for 'id' attributes? Adam Chlipala
- Re: [Ur] Abstract type for 'id' attributes? Karn Kallio
- Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
- Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
