1551 2005-07-12 02:17:13 +0000 [FS] editorial: 3.3.1 Kinds of Errors 2007-01-16 17:24:39 +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 4511 0 jmdyck 2005-07-12 02:17:13 +0000 3.3.1 Kinds of Errors "a static error (denoted by statError)" There's no need to introduce the symbol statError; it's never used. "Non-type static errors" If 'static error' and 'type error' are distinct, then the "Non-type" is unnecessary. "The [Functions and Operators] and [XQuery 1.0: A Query Language for XML] documents raise specific error conditions, but because these error conditions can be implemented in any way, we do not formalize them here." That doesn't sound very convincing. I mean, an XQuery processor can be "implemented in any way", but that doesn't stop you formalizing it. It seems plausible that you could write Dynamic Error rules that that raise specific errors, without over-constraining implementations. (E.g., 4.1.5 / DErr / rule 2 could raise err:XPTY0004 instead of just typeError.) I'm not saying you should do it, just that if you don't do it, you should have a better rationale. 8367 1 mff 2006-02-21 20:12:02 +0000 Section 3.3.1 has been removed entirely. Section 3.3 refers to XQuery, F&O, and XPath documents for normative definitions of error conditions.