This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In 2.2.2 Variable Declaration we say: The following rule is added: If the expression on the right-hand-side of a variable declaration (the initializing expression) is not a simple expression, a static error is raised [err:XUST0001]. In 2.5.7 Other Expressions we say: In addition, the initializing expression of a variable declaration in a Prolog may not be an updating expression [err:XUST0001]. I suggest that the statement in section 2.5.7 be dropped.
Fixed in my draft now.