> Yes, though I'd say it the other way: [unit] is a synonym for [{}], which is
> just a degenerate instance of the syntax for record types. (I lifted this
> convention directly from SML.)
And, is there any reason to use either over the other in signatures, like
transaction unit
and
transaction {}
?
- Gergely
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
