- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 25 Mar 2010 09:17:20 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4378
Michael Kay <mike@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike@saxonica.com
Status|CLOSED |REOPENED
Resolution|FIXED |
--- Comment #6 from Michael Kay <mike@saxonica.com> 2010-03-25 09:17:20 ---
I disagree with the opinion in comment #4 and with the way the test has been
changed. I believe it is legitimate to throw XPDY0002.
We say "A dynamic error is an error that must be detected during the dynamic
evaluation phase and may be detected during the static analysis phase". If
there was ever a candidate for detecting a dynamic error during the static
analysis phase, this is one. Calling the function can never succeed.
Further, we never say that because the query contains no call on this function,
the function must not be evaluated. The function has no arguments and does not
depend in any way on input data, so pre-evaluating it at compile time is a
perfectly reasonable strategy, and is entirely permissible according to our
rules. We do prescribe some conditions under which expressions must not be
evaluated (for example branches of a conditional), and this is not one of them.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 25 March 2010 09:17:22 UTC