[Bug 4465] K2-SeqExprCast-52 et seq

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4465

           Summary: K2-SeqExprCast-52 et seq
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


The correct result of

K2-SeqExprCast-52
K2-SeqExprCast-53
K2-SeqExprCast-54
K2-SeqExprCast-55
K2-SeqExprCast-58
K2-SeqExprCast-59
K2-SeqExprCast-60
K2-SeqExprCast-61

hinges on whether types such as unsignedInt allow the lexical forms "-0" and
"+0".

This is something of an old chestnut. In the past there were ambiguities in
F+O. I believe that F+O now states unambiguously that if the string is in the
lexical space of the data type (after whitespace fudging, which isn't relevant
here), then it's OK. So the answer lies in Schema Part 2.

Schema Part 2 says in section 3.3.22.1: "unsignedInt has a lexical
representation consisting of a finite-length sequence of decimal digits
(#x30-#x39). For example: 0, 1267896754, 100000.", and this appears to disallow
a sign.

However, there is nothing in the schema for schemas that disallows a sign, and
the text at the top of section 3.3 says: "the complete definitions of the
·built-in·  ·derived· datatypes are provided in Appendix A Schema for Datatype
Definitions (normative) (§A)." By implication the textual descriptions of the
types in section 3.3 are incomplete.

So I believe that the S4S wins, and that "-" and "+" are therefore allowed in
the lexical space.

Received on Friday, 13 April 2007 10:33:00 UTC