W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2016

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

From: <bugzilla@jessica.w3.org>
Date: Thu, 05 May 2016 10:15:34 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29571-523-xOBGzPIcJh@http.www.w3.org/Bugs/Public/>

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


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


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

This archive was generated by hypermail 2.3.1 : Thursday, 5 May 2016 10:17:31 UTC