3716 2006-09-13 11:28:17 +0000 Editorial: clarify that none is subtype of all types 2006-09-27 09:48:13 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation Other Linux CLOSED FIXED editorial P2 minor --- 1 frans.englich simeon public-qt-comments oldest_to_newest 11644 0 frans.englich 2006-09-13 11:28:17 +0000 For an expression such as "zero-or-one(error())", where the fn:error() is exclusively an operand to an expression instead of for example zero-or-one((1, error())), seems to meet the reactions that it should work, but that the formal semantics doesn't allow it to. See discussion in #3675: http://www.w3.org/Bugs/Public/show_bug.cgi?id=3675 Frans 11850 1 frans.englich 2006-09-19 10:53:50 +0000 Jerome clarified this in #3675: "The type 'none' is a subtype of every type. See subtyping Section 8.3.2-- t1 is a subtype of t2 iff every value v, v matches t1 implies v matches t2. Since no value matches 'none', none <: t for every t." Tim suggests the editorial change that: "Might it be worth spelling that out for clarity in the notes of section 8.3.2?" 12036 2 simeon 2006-09-26 14:06:16 +0000 Frans, Thanks for your comment. The XSLT and XML Query working group has decided to close that comment, without changes to the normative part of the text, but adding a clarification in Section 8.3.2 on subtyping to indicate that 'none' is a subtype of every type. This comment is reclassified as editorial. Best, - Jerome On Behalf of the XSLT and XML Query WGs 12079 3 frans.englich 2006-09-27 09:48:13 +0000 Yes, an editorial clarification was what was needed here.