[Bug 29571] [XQ31] [FO31] 3.18.3 Cast

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29571

--- Comment #4 from Tim Mills <tim@cbcl.co.uk> ---
I suggest the following note be added.



NOTE: 

As a consequence of these rules, for an expression E and type L, where

1. L is a list type, or L is a union type of which a list type is in its
transitive membership, and

2. (E instance of L) eq true

then 

E castable as L

is false.  For example xs:NMTOKENS("a b c") castable as XS:NMTOKENS is false.  

Furthermore, if L is a list type with a mininum length facet of zero, ()
castable as L is false.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Thursday, 5 May 2016 10:17:31 UTC