1556 2005-07-12 19:28:28 +0000 [FS] editorial: 3.3.4 Errors and Optimization 2007-01-16 17:24:47 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4524 0 jmdyck 2005-07-12 19:28:28 +0000 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". 8368 1 mff 2006-02-21 20:14:01 +0000 Section 3.3.4 has been removed entirely. Section 3.3 refers to XQuery spec for treatment of errors and optimization.