- From: Michael Kay <mhk@mhk.me.uk>
- Date: Mon, 16 Feb 2004 11:31:30 -0000
- To: "'Michael Rys'" <mrys@microsoft.com>, <public-qt-comments@w3.org>
This proposal is not acceptable in XPath and XSLT for backwards compatibility reasons. Michael Kay > -----Original Message----- > From: public-qt-comments-request@w3.org > [mailto:public-qt-comments-request@w3.org] On Behalf Of Michael Rys > Sent: 16 February 2004 11:11 > To: public-qt-comments@w3.org > Subject: [XQuery] MS-XQ-LC1-080 > > > > Section 3.6 Logical Expressions (and 2.3.3 Effective Boolean Value) > Technical > > We should simplify the rules for the implicit effective > Boolean values to allow dispatch of most checks based on > static information: > > EBV(X) should be true if: > > X is a non-empty sequence of nodes > X is the atomic value xs:boolean(true) > > EBV(x) should be false if: > > X is an empty sequence > X is the atomic value xs:boolean(false) > > EBV(x) should be a type error if: > X contains an atomic value other than Boolean > X is a sequence of Boolean values > > Note that this means that: > A zero-length value of type xs:string or xdt:untypedAtomic > A numeric value that is equal to zero > The xs:double or xs:float value NaN > > All return a type error. >
Received on Monday, 16 February 2004 06:30:49 UTC