1588 2005-07-14 06:01:23 +0000 [FS] editorial: 4.2.1 Steps 2007-02-25 23:14:09 +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 4562 0 jmdyck 2005-07-14 06:01:23 +0000 4.2.1 Steps Introduction [81 (XQuery)] PredicateList ::= Predicate* The Normalization rules assume a left-recursive definition, such as: ... ::= | PredicateList Predicate Norm / rule (1|2|3|4|5|6) "[" Expr "]" Delete quotes around square brackets. Norm / rule (1|3) "[" Numeric "]" Change "Numeric" to "NumericLiteral". Norm / rule (3|4) "return then" Delete "then". Norm / rule (3|6) $fs:last - Numeric + 1 $fs:last - $fs:new + 1 Plus and minus operators are not in the Core language. Change to: fs:plus( 1, fs:minus( $fs:last, NumericLiteral ) ) fs:plus( 1, fs:minus( $fs:last, $fs:new ) ) Norm / rule (5|6) "if [[ Expr ]]_Predicates then" Put IfExpr's condition in parentheses. STA "Axis" There's no definition for the symbol 'Axis'. DEv / rule 1 / premise 2 "Value1 matches node" 'node' is not a valid (Formal) Type. In STA / rule 1, you changed 'node' to [[ node() ]]_sequencetype so you probably need to do that here too. (leftover from last year, comment #058) 9147 1 mff 2006-04-11 19:20:11 +0000 Incorporated all suggested changes. 11361 2 jmdyck 2006-09-02 19:40:19 +0000 Most of the suggestions have not been incorporated into the 2006-06 CR. By the way, for the last one, you might also consider changing 'node' to '<em>NodeType</em>' (and presumably in STA / rule 1 similarly). It doesn't mean the same thing as '[[ node() ]]_sequencetype', but I'm not sure if that makes a difference here. 13589 3 simeon 2007-01-16 17:53:47 +0000 * Didn't change the grammar, fixed for the language. * Added parenthesis for conditional expression in normalization rules 5|6. * Replaced usage of '$fs:last - XXX + 1' in normalization rules as suggested. * Added missing parenthesis in conditions. * Added definition for the axis non-terminal. * Replaced node by [ node() ]_sequencetype in dynamic evaluation rule 1. - Jerome