diff --git a/spec.html b/spec.html index 79663b89ff..3dbd2f3361 100644 --- a/spec.html +++ b/spec.html @@ -17845,7 +17845,7 @@

Runtime Semantics: Evaluation

1. Let _obj_ be ! OrdinaryObjectCreate(%Object.prototype%). - 1. Perform ? PropertyDefinitionEvaluation of |PropertyDefinitionList| with arguments _obj_ and *true*. + 1. Perform ? PropertyDefinitionEvaluation of |PropertyDefinitionList| with argument _obj_. 1. Return _obj_. LiteralPropertyName : IdentifierName @@ -17870,11 +17870,11 @@

Runtime Semantics: Evaluation

Runtime Semantics: PropertyDefinitionEvaluation

-

With parameters _object_ and _enumerable_.

+

With parameter _object_.

PropertyDefinitionList : PropertyDefinitionList `,` PropertyDefinition - 1. Perform ? PropertyDefinitionEvaluation of |PropertyDefinitionList| with arguments _object_ and _enumerable_. - 1. Return the result of performing PropertyDefinitionEvaluation of |PropertyDefinition| with arguments _object_ and _enumerable_. + 1. Perform ? PropertyDefinitionEvaluation of |PropertyDefinitionList| with argument _object_. + 1. Return the result of performing PropertyDefinitionEvaluation of |PropertyDefinition| with argument _object_. PropertyDefinition : `...` AssignmentExpression @@ -17888,7 +17888,6 @@

Runtime Semantics: PropertyDefinitionEvaluation

1. Let _propName_ be StringValue of |IdentifierReference|. 1. Let _exprValue_ be the result of evaluating |IdentifierReference|. 1. Let _propValue_ be ? GetValue(_exprValue_). - 1. Assert: _enumerable_ is *true*. 1. Assert: _object_ is an ordinary, extensible object with no non-configurable properties. 1. Return ! CreateDataPropertyOrThrow(_object_, _propName_, _propValue_).
@@ -17911,34 +17910,12 @@

Runtime Semantics: PropertyDefinitionEvaluation

1. If Type(_propValue_) is either Object or Null, then 1. Return ! _object_.[[SetPrototypeOf]](_propValue_). 1. Return NormalCompletion(~empty~). - 1. Assert: _enumerable_ is *true*. 1. Assert: _object_ is an ordinary, extensible object with no non-configurable properties. 1. Return ! CreateDataPropertyOrThrow(_object_, _propKey_, _propValue_). - - MethodDefinition : - ClassElementName `(` UniqueFormalParameters `)` `{` FunctionBody `}` - `get` ClassElementName `(` `)` `{` FunctionBody `}` - `set` ClassElementName `(` PropertySetParameterList `)` `{` FunctionBody `}` - - - 1. Return ? MethodDefinitionEvaluation of |MethodDefinition| with arguments _object_ and _enumerable_. - - GeneratorMethod : `*` ClassElementName `(` UniqueFormalParameters `)` `{` GeneratorBody `}` - - 1. Return ? MethodDefinitionEvaluation of |GeneratorMethod| with arguments _object_ and _enumerable_. - - - AsyncGeneratorMethod : `async` `*` ClassElementName `(` UniqueFormalParameters `)` `{` AsyncGeneratorBody `}` - - - 1. Return ? MethodDefinitionEvaluation of |AsyncGeneratorMethod| with arguments _object_ and _enumerable_. - - - AsyncMethod : `async` ClassElementName `(` UniqueFormalParameters `)` `{` AsyncFunctionBody `}` - + PropertyDefinition : MethodDefinition - 1. Return ? MethodDefinitionEvaluation of |AsyncMethod| with arguments _object_ and _enumerable_. + 1. Return ? MethodDefinitionEvaluation of |MethodDefinition| with arguments _object_ and *true*.
@@ -23916,7 +23893,7 @@

Runtime Semantics: ClassFieldDefinitionEvaluation

Runtime Semantics: ClassElementEvaluation

-

With parameters _object_ and _enumerable_.

+

With parameter _object_.

ClassElement : FieldDefinition `;` @@ -23933,7 +23910,7 @@

Runtime Semantics: ClassElementEvaluation

ClassElement : `static` MethodDefinition
- 1. Return MethodDefinitionEvaluation of |MethodDefinition| with arguments _object_ and _enumerable_. + 1. Return MethodDefinitionEvaluation of |MethodDefinition| with arguments _object_ and *false*. @@ -24019,9 +23996,9 @@

Runtime Semantics: ClassDefinitionEvaluation

1. Let _staticFields_ be a new empty List. 1. For each |ClassElement| _e_ of _elements_, do 1. If IsStatic of _e_ is *false*, then - 1. Let _field_ be ClassElementEvaluation of _e_ with arguments _proto_ and *false*. + 1. Let _field_ be ClassElementEvaluation of _e_ with argument _proto_. 1. Else, - 1. Let _field_ be ClassElementEvaluation of _e_ with arguments _F_ and *false*. + 1. Let _field_ be ClassElementEvaluation of _e_ with argument _F_. 1. If _field_ is an abrupt completion, then 1. Set the running execution context's LexicalEnvironment to _env_. 1. Set the running execution context's PrivateEnvironment to _outerPrivateEnvironment_.