W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2014

[Bug 27392] Type checking of functions

From: <bugzilla@jessica.w3.org>
Date: Fri, 21 Nov 2014 16:48:44 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-27392-523-BTQgznn7Nx@http.www.w3.org/Bugs/Public/>

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
                 CC|                            |mike@saxonica.com

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
The errors and optimization section is far from perfect and will never be so
unless we can find some new formalisms, but I think the optimizations you
describe are clearly allowed (and widespread in current products, judging by
the feedback we get on test cases). The rule is

the processor is free to stop examining further items in a sequence as soon as
it can establish that further items would not affect the result except possibly
by causing an error

and that is what you are doing.

The only exception to the above rule is the requirement to do cardinality
checks. This is because it would have licensed the XPath 1.0 behavior of
allowing things like contains(AUTHOR, "Mike") where all but the first AUTHOR
are ignored, and the XQuery WG had already decided it didn't like that feature
of XPath 1.0.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 21 November 2014 16:48:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:51 UTC