[Bug 4023] fn-abs-more-args-024 is incorrect

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





------- Comment #3 from per@bothner.com  2007-01-13 22:44 -------
(In reply to comment #1)
> If you read sections 17.2 and 17.5 they still imply that this cast
> succeeds.

I see in 17.5:

"If SV is an instance of xs:string or xs:untypedAtomic, check its value against
the pattern facet of TT, and raise an error [err:FORG0001] if the check fails."

That seems fairly unambiguous.  Besides, I don't see how 17.5 is applicable,
since it talks about when "When the ST and the TT are derived, directly or
indirectly, from different primitive types".  Here ST is xs:string, which is
not a derived type, as I understand it.

Then the question is what is the pattern facet of unsignedLong?  Unfortunately,
the XML Schema specification doesn't explicitly specify this: It says that
unsignedLong *has* a constraining pattern facet, but doesn't say what it is. 
However, implicitly, a sign is clearly not allowed.

On the other hand, it is worth noting that the Working Draft 17 February 2006
of XML Schema 1.1 clearly does allow an optional sign.  It also fixes the
editorial problems by explicitly specifying the pattern facet.

Received on Saturday, 13 January 2007 22:45:02 UTC