[Bug 1650] New: [FS] please list all expressions that do not propagate errors

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1650

           Summary: [FS] please list all expressions that do not propagate
                    errors
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


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.

Received on Saturday, 16 July 2005 00:16:35 UTC