W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2007

[Bug 4446] [XQuery] 2.3.4 Equivalent expressions

From: <bugzilla@wiggum.w3.org>
Date: Sun, 17 Jun 2007 19:52:35 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1I00nb-0005vF-Jn@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4446





------- Comment #3 from jmdyck@ibiblio.org  2007-06-17 19:52 -------
> (a) the processor can determine that the result is either true() or an
> error without evaluating one of the operands, namely the condition

And that's a perfectly valid deduction to make. I think the behaviour you're
concerned about is for the processor to *always* return true() for this
example. 

> *  Conditional and typeswitch expressions MUST NOT raise a dynamic error in
> respect of subexpressions occurring in a branch that is not selected, and must
> not return the value delivered by a branch unless that branch is selected.

How about "... MUST NOT evaluate a branch that is not selected" ?
Received on Sunday, 17 June 2007 19:52:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:33 UTC