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 23:44:49 +0000
To: public-qt-comments@w3.org
Message-Id: <E1I04QL-000644-A2@wiggum.w3.org>


------- 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

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