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 13:38:25 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29571-523-GeVNeJd4qr@http.www.w3.org/Bugs/Public/>

--- Comment #5 from Tim Mills <tim@cbcl.co.uk> ---


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 not generally true.  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 13:40:22 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 5 May 2016 13:40:22 UTC