This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
3.3.3 Handling dynamic errors It says "There are several expressions, such as [4.6 Logical Expressions] and [4.11 Quantified Expressions], that do not necessarily propogate an error raised by some sub-expression. For each such expression, we give specific error inference rules." This means that your formal inferences are contradictory, because the inference given at the beginning of this section would result in a different error behavior than other inferences to be given later. To fix this, you need to explicitly limit the inference in this section to precisely those kinds of subexpressions to which it applies. This would be done by changing the second hypothesis above the line from "Expr1 is any subexpression of Expr" to correctly describe the subexpressions to which the rules applies. You have made a start by listing two classes of subexpression for which it does not apply (logical expressions and quantified expressions) but: 1. the reader is entitled to have a complete list of the exceptions in one place. 2. the formal rule needs to be correct, not merely the English explanation that surrounds the rule.
This comment has been taken over by events, as the WGs have decided to remove the formal specification of error propagation. See: http://www.w3.org/Bugs/Public/show_bug.cgi?id=1554 This corresponding text will therefore be changed, and we do not need to list the functions which do not propagate errors in that way anymore. - Jerome Simeon On behalf of the XML Query and XSL WGs