[Bug 4446] [XQuery] 2.3.4 Equivalent expressions

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