[Bug 3273] [FS] technical: 2.3.1 Formal values: () in Values


------- Comment #3 from simeon@us.ibm.com  2006-06-12 17:17 -------

Some more thoughts on that thread. Notably a few things:

* I can't think of a place where we get in trouble with this at this point. The
type infered can be xs:integer,() or many other more complex types.
* There are may syntactic variations for the same type (T | () or T?, T* or
T+|() or T?+, T*,T or T,T* etc.). To the best of my knowledge there is no
finite set of rules to define those equivalances.
* It seems that those rules would merely reinvent the notion of equivalence
that is already in section 8.3.2.

- Jerome

Received on Monday, 12 June 2006 17:17:54 UTC