Re: Bug: "A value disjunction that encounters a type error on only one branch will return the result of evaluating the other branch."

Tim, if you thought that was a bug, you might want
to take a look at the XQuery formal semantics, where
I just discovered:

[[
The dynamic semantics of logical expressions is non-deterministic. This
non-determinism permits implementations to use short-circuit evaluation
strategies when evaluating logical expressions. In the expression, Expr1
and Expr2, if either expression raises an error or evaluates to false,
the entire expression may raise an error or evaluate to false.
]]
 -- http://www.w3.org/TR/xquery-semantics/#id-logical-expressions


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Friday, 17 February 2006 20:59:33 UTC