Done: ACTION A-646-03

I have completed this action item:

ACTION A-646-03: JRobie to add CMSMcQ's Note from the 646 minutes
to the XPath spec.


Here is the relevant text:


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.

Note:

This allows an implementation to return a result in cases where the original expression would have raised an error, or to raise an error in cases where the original expression would have returned a result. The main cases where this is likely to arise in practice are (a) where a rewrite changes the order of evaluation, such that a subexpression causing an error is evaluated when the expression is written one way and is not evaluated when the expression is written a different way, and (b) where intermediate results of the evaluation cause overflow or other out-of-range conditions.

Note:

This rule does not mean that the result of the expression will always be the same in non-error cases as if it had not been rewritten, because there are many cases where the result of an expression is to some degree implementation-dependent<https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31-diff.html#dt-implementation-dependent> or implementation-defined<https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31-diff.html#dt-implementation-defined>.

Received on Monday, 20 June 2016 22:26:44 UTC