W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2015

[Bug 27908] K2-SeqDocFunc-12

From: <bugzilla@jessica.w3.org>
Date: Tue, 27 Jan 2015 16:24:09 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-27908-523-fa3Rt0p9q5@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 27 January 2015 16:24:15 UTC