Address feedback.

tc39 · Mar 30, 2024 · 4d1a4b5 · 4d1a4b5
1 parent 008a166
commit 4d1a4b5
Showing 1 changed file with 12 additions and 11 deletions.
diff --git a/spec.html b/spec.html
@@ -4178,7 +4178,7 @@ <h1>The Reference Record Specification Type</h1>
           </tr>
           <tr>
             <td oldids="sec-getreferencedname,ao-getreferencedname">[[ReferencedName]]</td>
-            <td>a String, a Symbol, a Private Name, or an ECMAScript language value</td>
+            <td>an ECMAScript language value or a Private Name</td>
             <td>The name of the binding. Always a String if [[Base]] value is an Environment Record. May temporarily be an ECMAScript language value other than a String or a Symbol in the case of a property reference for which ToPropertyKey has yet to be performed.</td>
           </tr>
           <tr>
@@ -19153,6 +19153,7 @@ <h1>
       <emu-alg>
         1. Let _propertyNameReference_ be ? Evaluation of _expression_.
         1. Let _propertyNameValue_ be ? GetValue(_propertyNameReference_).
+        1. NOTE: In most cases, ToPropertyKey will be performed on _propertyNameValue_ immediately after this step. However, in the case of `a[b] = c`, it will not be performed until after evaluation of `c`.
         1. Return the Reference Record { [[Base]]: _baseValue_, [[ReferencedName]]: _propertyNameValue_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }.
       </emu-alg>
     </emu-clause>
@@ -19285,9 +19286,9 @@ <h1>Runtime Semantics: Evaluation</h1>
           1. Let _actualThis_ be ? _env_.GetThisBinding().
           1. Let _propertyNameReference_ be ? Evaluation of |Expression|.
           1. Let _propertyNameValue_ be ? GetValue(_propertyNameReference_).
-          1. Let _propertyKey_ be ? ToPropertyKey(_propertyNameValue_).
           1. Let _strict_ be IsStrict(this |SuperProperty|).
-          1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyKey_, _strict_).
+          1. NOTE: In most cases, ToPropertyKey will be performed on _propertyNameValue_ immediately after this step. However, in the case of `super[b] = c`, it will not be performed until after evaluation of `c`.
+          1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyNameValue_, _strict_).
         </emu-alg>
         <emu-grammar>SuperProperty : `super` `.` IdentifierName</emu-grammar>
         <emu-alg>
@@ -19332,7 +19333,7 @@ <h1>GetSuperConstructor ( ): an ECMAScript language value</h1>
         <h1>
           MakeSuperPropertyReference (
             _actualThis_: an ECMAScript language value,
-            _propertyKey_: a property key,
+            _propertyValue_: an ECMAScript language value,
             _strict_: a Boolean,
           ): either a normal completion containing a Super Reference Record or a throw completion
         </h1>
@@ -19342,7 +19343,7 @@ <h1>
           1. Let _env_ be GetThisEnvironment().
           1. Assert: _env_.HasSuperBinding() is *true*.
           1. Let _baseValue_ be ? _env_.GetSuperBase().
-          1. Return the Reference Record { [[Base]]: _baseValue_, [[ReferencedName]]: _propertyKey_, [[Strict]]: _strict_, [[ThisValue]]: _actualThis_ }.
+          1. Return the Reference Record { [[Base]]: _baseValue_, [[ReferencedName]]: _propertyValue_, [[Strict]]: _strict_, [[ThisValue]]: _actualThis_ }.
         </emu-alg>
       </emu-clause>
     </emu-clause>
@@ -20509,7 +20510,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         1. If |LeftHandSideExpression| is neither an |ObjectLiteral| nor an |ArrayLiteral|, then
           1. Let _lref_ be ? Evaluation of |LeftHandSideExpression|.
           1. If IsAnonymousFunctionDefinition(|AssignmentExpression|) and IsIdentifierRef of |LeftHandSideExpression| are both *true*, then
-            1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument _lref_.[[ReferencedName]].
+            1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument StringValue of |LeftHandSideExpression|.
           1. Else,
             1. Let _rref_ be ? Evaluation of |AssignmentExpression|.
             1. Let _rval_ be ? GetValue(_rref_).
@@ -20558,7 +20559,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         1. Let _lbool_ be ToBoolean(_lval_).
         1. If _lbool_ is *false*, return _lval_.
         1. If IsAnonymousFunctionDefinition(|AssignmentExpression|) is *true* and IsIdentifierRef of |LeftHandSideExpression| is *true*, then
-          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument _lref_.[[ReferencedName]].
+          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument StringValue of |LeftHandSideExpression|.
         1. Else,
           1. Let _rref_ be ? Evaluation of |AssignmentExpression|.
           1. Let _rval_ be ? GetValue(_rref_).
@@ -20572,7 +20573,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         1. Let _lbool_ be ToBoolean(_lval_).
         1. If _lbool_ is *true*, return _lval_.
         1. If IsAnonymousFunctionDefinition(|AssignmentExpression|) is *true* and IsIdentifierRef of |LeftHandSideExpression| is *true*, then
-          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument _lref_.[[ReferencedName]].
+          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument StringValue of |LeftHandSideExpression|.
         1. Else,
           1. Let _rref_ be ? Evaluation of |AssignmentExpression|.
           1. Let _rval_ be ? GetValue(_rref_).
@@ -20585,7 +20586,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         1. [id="step-assignmentexpression-evaluation-lgcl-nullish-getvalue"] Let _lval_ be ? GetValue(_lref_).
         1. If _lval_ is neither *undefined* nor *null*, return _lval_.
         1. If IsAnonymousFunctionDefinition(|AssignmentExpression|) is *true* and IsIdentifierRef of |LeftHandSideExpression| is *true*, then
-          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument _lref_.[[ReferencedName]].
+          1. Let _rval_ be ? NamedEvaluation of |AssignmentExpression| with argument StringValue of |LeftHandSideExpression|.
         1. Else,
           1. Let _rref_ be ? Evaluation of |AssignmentExpression|.
           1. Let _rval_ be ? GetValue(_rref_).
@@ -20958,7 +20959,7 @@ <h1>
               1. Set _value_ to _next_.
           1. If |Initializer| is present and _value_ is *undefined*, then
             1. If IsAnonymousFunctionDefinition(|Initializer|) is *true* and IsIdentifierRef of |DestructuringAssignmentTarget| is *true*, then
-              1. Let _v_ be ? NamedEvaluation of |Initializer| with argument _lref_.[[ReferencedName]].
+              1. Let _v_ be ? NamedEvaluation of |Initializer| with argument StringValue of |DestructuringAssignmentTarget|.
             1. Else,
               1. Let _defaultValue_ be ? Evaluation of |Initializer|.
               1. Let _v_ be ? GetValue(_defaultValue_).
@@ -21006,7 +21007,7 @@ <h1>
           1. Let _v_ be ? GetV(_value_, _propertyName_).
           1. If |Initializer| is present and _v_ is *undefined*, then
             1. If IsAnonymousFunctionDefinition(|Initializer|) and IsIdentifierRef of |DestructuringAssignmentTarget| are both *true*, then
-              1. Let _rhsValue_ be ? NamedEvaluation of |Initializer| with argument _lref_.[[ReferencedName]].
+              1. Let _rhsValue_ be ? NamedEvaluation of |Initializer| with argument StringValue of |DestructuringAssignmentTarget|.
             1. Else,
               1. Let _defaultValue_ be ? Evaluation of |Initializer|.
               1. Let _rhsValue_ be ? GetValue(_defaultValue_).