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.8 [For/FLWR] Expressions "a sequence of ForClauses and LetClauses, followed by an optional WhereClause, followed by the , as described by ..." Missing stuff after "followed by the". "The dynamic semantics ... is not specified formally. The dynamic semantics is not specified formally ..." This is rather repetitive. Core Grammar [37 (Core)] OrderSpecList ::= OrderSpec ("," OrderSpec)* 4.8.4 / Norm / rule 3 assumes a right-recursive definition, e.g.: ... ::= OrderSpec | OrderSpec "," OrderSpecList
Fixed as suggested. Modified normalization rules for OrderSpecList not to rely on the recursive grammar. - Jerome