[Bug 4446] [XQuery] 2.3.4 Equivalent expressions

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





------- Comment #8 from jmdyck@ibiblio.org  2007-06-17 23:44 -------
(In reply to comment #6)

> As an example, consider the case that the conditional expression is operand of
> the fn:count function, and that both branches consist of function calls whose
> signature guarantees exactly one result item. It seems to me that your wording
> would permit to rewrite the conditional expression as the expression "1",

I think you mean rewrite the fn:count(...) call as 1.

> whereas the original proposal would not allow such a rewrite, because it would
> amount to returning the result of a branch that has not been selected.

But it doesn't amount to evaluating a branch that has not been selected?

(I'm not sure it amounts to either, but I don't see how you can say it's one
and not the other.)

Received on Sunday, 17 June 2007 23:44:53 UTC