[Bug 5694] K2-SeqExprCast-22,78,90 may raise FOAR0002

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





------- Comment #2 from vano_msu@mail.ru  2008-05-20 17:06 -------
I'm not sure actually.

It seems that xs:unsignedLong, xs:long. xs:integer built in datatypes don't
have pattern facets defined by default. They have only restrictions through
maxInclusive/minInclusive and similar facets.

So, in K2-SeqExprCast-78 for example we follow the specification (F&O 17.5):

-----------------------------------
"... Casting across the type hierarchy is logically equivalent to three
separate steps performed in order. Errors can occur in either of the latter two
steps.

...
   2.Cast the value to the primitive type of TT, as described in 17.1 Casting
from primitive types to primitive types."
-----------------------------------

It means we should perform the following casting operation in the intermediate
step:

"-9223372036854775809" cast as xs:integer

which may raise FOAR0002.

Received on Tuesday, 20 May 2008 17:07:17 UTC