[Bug 27392] Type checking of functions

https://www.w3.org/Bugs/Public/show_bug.cgi?id=27392

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