W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Mon, 05 Jun 2006 21:41:52 +0000
To: public-qt-comments@w3.org
Message-Id: <E1FnMpc-0000tI-6p@wiggum.w3.org>


------- Comment #1 from simeon@us.ibm.com  2006-06-05 21:41 -------

The ability to use the empty sequence (resp. the empty type) for values (resp.
types). Is intentional.

For values, the values follows the same rules as the corresponding sequence
constructors in XQuery. so (),((),1,()),2 = 1,2. I believe there used to be a
sentence about that in the formal values section.

For types, there are many expressions which generate sequences or unions of
empty types. (e.g., if Expr then () else 1). Fortunately all those types are
equivalent ((), xs:integer = xs:integer ; () | xs:integer = xs:integer?, etc.).
That is covered by the subtyping/equivalence rules in 8.3.2 Subtyping (<:).

So I believe this may be editorial, although I'm not sure what you think would
help clarify. I would recommend at least to add the sentence about values
(explaining the first part above)

- Jerome
Received on Monday, 5 June 2006 21:42:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:12 UTC