1650 2005-07-16 00:16:32 +0000 [FS] please list all expressions that do not propagate errors 2005-09-06 13:04:50 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 normal --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4733 0 fred.zemke 2005-07-16 00:16:32 +0000 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. 5154 1 simeon 2005-07-22 17:29:53 +0000 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