----------------------------------------
In 13.2.3.1 "Static Semantics: BoundNames":
13.2.3.1 / group 7 / step 2:
Append to /names/ the elements of BoundNames of /BindingElement/.
s|BindingElement|BindingElisionElement|
----------------------------------------
In 13.2.3.3 "Runtime Semantics: BindingInitialisation":
13.2.3.3 / group 2 / step 2:
Let /iterator/ be the result of performing GetIterator(/obj/).
s|obj|value|
----------------------------------------
In 13.2.3.4 "Runtime Semantics: IteratorBindingInitialisation":
13.2.3.4 / group 9 / step 1:
Let /status/ be the result of performing IteratorBindingInitialisation
for /BindingElementList/ iterator and /environment/ as arguments.
Insert "using" before "iterator"
Italicize "iterator"
13.2.3.4 / group 9 / step 3:
Return the result of performing IteratorBindingInitialisation
for /BindingElement/ using /iterator/ and /environment/ as arguments.
s|BindingElement|BindingElisionElement|
13.2.3.4 / group 14 / step 7:
Return the result of performing BindingInitialisation
of /nestedAssignmentPattern/ with /v/ as the argument.
'nestedAssignmentPattern' is not defined
----------------------------------------
In 13.7 "The continue Statement":
13.7 / Syntax / prod 1 / rhs 2:
continue [no LineTerminator here] IdentifierReference;
s|IdentifierReference|NonResolvedIdentifier|
----------------------------------------
In 13.12.1 "Static Semantics: Early Errors":
This section should recap the LabelledStatement production.
----------------------------------------
In 13.12.2 "Static Semantics: VarDeclaredNames":
In 13.12.3 "Runtime Semantics: LabelledEvaluation":
In 13.12.4 "Runtime Semantics: Evaluation":
In these sections, the production-recaps for LabelledStatement
do not match its defining production in 13.12 / Syntax.
----------------------------------------
In 13.12.3.1 "Runtime Semantics: LabelledStatementEvaluation(...)":
13.12.3.1 / step 2:
If /stmt/ is either /LabelledStatement/ or /BreakableStatement/, then
Insert "a" before /LabelledStatement/ and before /BreakableStatement/
13.12.3.1 / step 4:
If /stmtResult/.[[type]] is *break* and ...
Change "break" from serif-bold to sans-nobold.
----------------------------------------
In 13.14.5 "Runtime Semantics: Evaluation":
13.14.5 / group 3 / step 2.a:
... performing CatchClauseEvaluation of /Catch/ with parameter /B/.value.
Put [[ ]] around "value"
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
fixed in rev25 editor's draft
confirmed fixed, except for what I re-raised as Bug 2948