[Bug 1556] New: [FS] editorial: 3.3.4 Errors and Optimization

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

           Summary: [FS] editorial: 3.3.4 Errors and Optimization
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


3.3.4 Errors and Optimization

"the dynamic inference rules in Formal Semantics define an eager
evaluation semantics for all expressions"
    Change "all" to "most", as there are some exceptions, like 4.6 and
    4.11.
    Also, insert "the" before "Formal Semantics".

"may not raise"
    Change to "might not raise" or "may choose to not raise" or "is
    permitted to not raise".  (Note that the previous sentence uses
    "may not" with a very different sense.)

"because the path expression"
    Insert "evaluating" before "the".

"a static type error would be raised"
    "static error" and "type error" are distinct, according to 3.3.1.
    STA is optional.
    Active is better than passive.
    So change to:
        "static type analysis, if the implementation supports it,
        would raise a type error"

"may not be evaluated"
    Change to "might not be evaluated".

Received on Tuesday, 12 July 2005 19:28:31 UTC