W3C home > Mailing lists > Public > public-qt-comments@w3.org > March 2010

[Bug 4378] error in K2-NodeTest-21

From: <bugzilla@wiggum.w3.org>
Date: Thu, 25 Mar 2010 09:17:20 +0000
To: public-qt-comments@w3.org
Message-Id: <E1NujBo-00051i-Qe@wiggum.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:59 GMT