- From: <bugzilla@jessica.w3.org>
- Date: Tue, 27 Jan 2015 16:24:09 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27908 --- Comment #3 from Michael Kay <mike@saxonica.com> --- Section 2.3.1 says: An implementation can raise a dynamic error for a QueryBody statically only if the query can never execute without raising that error I think some implementations take this more seriously than others. Arguably, it's contradicted by 2.3.1: "Other than the raising or not raising of errors, the result of evaluating a rewritten expression must conform to the semantics defined in this specification for the original expression." and the note that follows. An extreme reading of this rule says that it's legal to rewrite (2+2) as (error()). My own view is that a rewrite should never cause an otherwise-unfailing query to fail except possibly in worst-case scenarios for conditions such as overflow. -- You are receiving this mail because: You are the QA Contact for the bug.
Received on Tuesday, 27 January 2015 16:24:15 UTC