- From: Daniela Florescu <danielaf@bea.com>
- Date: Mon, 16 Feb 2004 14:59:08 -0800
- To: "Michael Rys" <mrys@microsoft.com>
- Cc: <public-qt-comments@w3.org>
We totally agree with this proposal. The preference is to make string an error too. Best regards Dana On Feb 16, 2004, at 3:06 AM, Michael Rys wrote: > > Section 3.2.2 Predicates > Technical > > The current dispatch rules for predicates is problematic since one > often > has to defer to runtime whether an index or an effective Boolean value > is calculated, even if one does static type inferencing, and since > float/double imprecision can lead to unexpected/wrong results. > > Instead of doing position and fn:boolean() do the following for E[$x]: > > if $x instance of xs:decimal=> do position as described (note no > float/double due to precision issues), > if $x instance of node()* then fn:boolean($x), > if instance of xs:boolean then $x, > otherwise type error (may also add xs:string as an option). >
Received on Monday, 16 February 2004 17:58:13 UTC