4465 2007-04-13 10:32:44 +0000 K2-SeqExprCast-52 et seq 2007-05-23 09:20:51 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows XP RESOLVED FIXED P2 normal --- 1 mike frans.englich public-qt-comments oldest_to_newest 14719 0 mike 2007-04-13 10:32:44 +0000 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. 14874 1 andrew.eisenberg 2007-04-24 21:45:33 +0000 I wouldn't say that S4S wins, but that Schema 1.0 is ambiguous on this point. A look at the most recent draft of Schema 1.1 Part 2: Datatypes, 3.4.21 unsignedLong, however, shows the following: "unsignedLong has a lexical representation consisting of an optional sign followed by a finite-length sequence of decimal digits (#x30-#x39). If the sign is omitted, the positive sign ('+') is assumed. If the sign is present, it must be '+' except for lexical forms denoting zero, which may be preceded by a positive ('+') or a negative ('-') sign. For example: 0, 12678967543233, 100000." Similar text exists for the other unsigned numeric types. With this additional information, I feel that +0 and -0 should be allowed. 14875 2 mike 2007-04-24 21:54:33 +0000 >followed by a finite-length sequence of decimal digits... Must remember to add the test case that shows that infinite-length sequences are rejected ;-) 15154 3 frans.englich 2007-05-23 09:20:51 +0000 Yes, should be fixed in CVS, by allowing - & +. I'm working on a test case for testing that infinite-length sequences are rejected, but, phew, I doubt I'll make it to the next release..