Q: I'm not sure whether or not "then" should be removed in the entries marked with (*).
And the entries marked with (**) definitely need to be changed.
9.1.6.3 ValidateAndApplyPropertyDescriptor (O, P, extensible, Desc, current)
- step 1: Remove "then", add comma (*)
- step 5: Add comma before "then"
- step 6: Remove "then"
9.2.1 [[GetOwnProperty]] (P)
- step 2.a: Move comma before "then"
9.2.2 [[Call]] ( thisArgument, argumentsList)
- step 9: Remove "then", add comma
9.2.11 SetFunctionName (F, name, prefix) Abstract Operation
- step 3: Remove "then", add comma (*)
9.4.4.1 [[GetOwnProperty]] (P)
- step 3: Remove "then", add comma
9.4.5.2 [[HasProperty]](P)
- step 3.c.iii: Remove "then", add comma
9.4.5.3 [[DefineOwnProperty]] ( P, Desc)
- step 3.c.i: Remove "then", add comma
9.4.5.9 IntegerIndexedElementGet ( O, index ) Abstract Operation
- step 5: Remove "then", add comma
9.4.5.10 IntegerIndexedElementSet ( O, index, value ) Abstract Operation
- step 7: Remove "then", add comma
12.3.4.3 Runtime Semantics: EvaluateDirectCall( func, thisValue, arguments, tailPosition )
- step 8: Remove "then", add comma (*)
12.5.4.2 Runtime Semantics: Evaluation
- step 4: Remove comma after "then"
12.14.4 Runtime Semantics: Evaluation
- step 1: Add comma before "then"
12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation
AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
- step 1: Add comma before "then"
- step 8: Add comma before "then"
AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget
- step 1: Add comma before "then"
- step 6: Add comma before "then"
12.14.5.4 Runtime Semantics: KeyedDestructuringAssignmentEvaluation
AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
- step 1: Add comma before "then"
- step 6: Add comma before "then"
13.2.3.6 Runtime Semantics: IteratorBindingInitialization
SingleNameBinding : BindingIdentifier Initializer
- step 8: Change "then" to "return" (**)
13.2.3.7 Runtime Semantics: KeyedBindingInitialization
SingleNameBinding : BindingIdentifier Initializeropt
- step 6: Change "then" to "return" (**)
14.5.3 Static Semantics: ConstructorMethod
ClassElementList : ClassElement
- step 1: Remove "then", add comma
ClassElementList : ClassElementList ClassElement
- step 3: Remove "then", add comma
14.5.10 Static Semantics: NonConstructorMethodDefinitions
ClassElementList : ClassElement
- step 1: Remove "then", add comma
ClassElementList : ClassElementList ClassElement
- step 2: Remove "then", add comma
15.1.8 Runtime Semantics: GlobalDeclarationInstantiation (script, env)
- step 12.a: Add comma before "then"
15.2.1.11 Static Semantics: LexicallyDeclaredNames
ModuleItem : ExportDeclaration
- step 1: Remove "then", add comma
15.2.1.13 Static Semantics: VarDeclaredNames
ModuleItem : ExportDeclaration
- step 1: Remove "then", add comma
15.2.1.14 Static Semantics: VarScopedDeclarations
ModuleItem : ExportDeclaration
- step 1: Remove "then", add comma
15.2.1.21 Runtime Semantics: ModuleDeclarationInstantiation( module, realm, moduleSet )
- step 7.a.iv: Add comma before "then"
18.2.1.1 Runtime Semantics: PerformEval( x, evalRealm, strictCaller, direct)
- step 1: Remove "then", add comma (*)
18.2.1.2 Runtime Semantics: EvalDeclarationInstantiation( body, varEnv, lexEnv, strict)
- step 11.a: Add comma before "then"
19.2.1.1.1 RuntimeSemantics: CreateDynamicFunction(constructor, newTarget, kind, args)
- step 14: Remove "then", add comma
20.3.2.1 Date ( year, month [, date [ , hours [ , minutes [ , seconds [ , ms ] ] ] ] ] )
- steps 3.e, 3.g, 3.i, 3.k, 3.m: Remove "then", add comma
20.3.3.4 Date.UTC ( year, month [ , date [ , hours [ , minutes [ , seconds [ , ms ] ] ] ] ] )
- steps 5, 7, 9, 11, 13: Remove "then", add comma
21.1.3.11 String.prototype.match ( regexp )
- step 4: Remove full stop after comma
21.1.3.14 String.prototype.replace (searchValue, replaceValue )
- step 4: Remove full stop after comma
21.1.3.15 String.prototype.search ( regexp )
- step 4: Remove full stop after comma
- step 5: Remove comma after "then"
21.1.3.16 String.prototype.slice ( start, end )
- step 6: Remove "then", add comma
21.1.3.17 String.prototype.split ( separator, limit )
- step 3.a: Remove comma after "then"
21.1.3.17.1 Runtime Semantics: SplitMatch Abstract Operation
- step 4: Remove "then", add comma
21.2.2.5.1 Runtime Semantics: RepeatMatcher Abstract Operation
- step 2.2: Remove "then", add comma
21.2.2.9 AtomEscape
- step 5: Remove "then", add comma
21.2.2.15.1 Runtime Semantics: CharacterRange Abstract Operation
- step 1: Remove "then", add comma
- step 6: Remove "then", add comma
21.2.2.19 ClassEscape
ClassEscape :: DecimalEscape
- step 2: Remove "then", add comma
21.2.3.2.2 Runtime Semantics: RegExpInitialize Abstract Operation
- step 8: Remove "then", add comma
21.2.5.2.2 Runtime Semantics: RegExpBuiltinExec ( R, S ) Abstract Operation
- step 13: Remove "then", add comma
21.2.5.11 RegExp.prototype [ @@split ] ( string, limit )
- step 9: Remove "then", add comma
23.1.1.1 Map ( [ iterable ] )
- step 1: Remove "then", add comma
23.1.3.10 get Map.prototype.size
- step 6.a: Add comma before "then"
23.2.3.9 get Set.prototype.size
- step 6.a: Add comma before "then"
23.2.5.2.1 %SetIteratorPrototype%.next ( )
- step 10.d.i: Move comma before "then"
24.3.2 JSON.stringify ( value [ , replacer [ , space ] ] )
- step 4.b.v.6: Move comma before "then"
- step 4.b.v.7: Move comma before "then"
- steps 5, 5.a, 5.b: Move comma before "then"
- step 6: Add ", then"
- step 7: Add ", then"
24.3.2.1 Runtime Semantics: Str Abstract Operation
- steps 5, 5.a, 5.b, 5.c: Move comma before "then"
- steps 6, 7, 8: Remove "then", add comma
- step 10: Add ", then"
- step 10.a: Remove "then", add comma
- step 11: Remove comma before "and"
24.3.2.3 Runtime Semantics: JO Abstract Operation
- step 1: Remove "then", add comma
24.3.2.4 Runtime Semantics: JA Abstract Operation
- step 1: Remove "then", add comma
B.2.1.1 escape (string)
- step 6.c: Add "then"
B.2.4.2 Date.prototype.setYear (year)
- step 5.c: Remove "then", add comma
fixed inrev32 editor's draft
* I dokn't think we need to use the same then treatment in asserts.
fixed in rev32 draft