This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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)
Incorporated all suggested changes.
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.
* 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