Editorial: Rename _value_ alias for clarity (#32)

Author: gibson042

docs/index.html

@@ -2579,7 +2579,7 @@ <h1><span class="secnum">1.2.1</span> InternalizeJSONProperty ( <var>holder</var
         <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>
     </emu-rhs>
 </emu-production>
-</emu-grammar>.</ins></li><li><ins>Let <var>value</var> be the <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt> of <var>propertyDefinition</var>.</ins></li><li>Let <var>newElement</var> be ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_8"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>reviver</var><ins>, <var>value</var></ins>).</li><li>If <var>newElement</var> is <emu-val>undefined</emu-val>, then<ol><li>Perform ?&nbsp;<var>val</var>.[[Delete]](<var>P</var>).</li></ol></li><li>Else,<ol><li>Perform ?&nbsp;<emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>newElement</var>).</li></ol></li></ol></li></ol></li></ol></li><li>Return ?&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>reviver</var>, <var>holder</var>, « <var>name</var>, <var>val</var><ins>, <var>context</var></ins> »).</li></ol></emu-alg>
+</emu-grammar>.</ins></li><li><ins>Let <var>propertyValueNode</var> be the <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt> of <var>propertyDefinition</var>.</ins></li><li>Let <var>newElement</var> be ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_8"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>reviver</var><ins>, <var>propertyValueNode</var></ins>).</li><li>If <var>newElement</var> is <emu-val>undefined</emu-val>, then<ol><li>Perform ?&nbsp;<var>val</var>.[[Delete]](<var>P</var>).</li></ol></li><li>Else,<ol><li>Perform ?&nbsp;<emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>newElement</var>).</li></ol></li></ol></li></ol></li></ol></li><li>Return ?&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>reviver</var>, <var>holder</var>, « <var>name</var>, <var>val</var><ins>, <var>context</var></ins> »).</li></ol></emu-alg>
       <p>It is not permitted for a conforming implementation of <code>JSON.parse</code> to extend the JSON grammars. If an implementation wishes to support a modified or extended JSON interchange format it must do so by defining a different parse function.</p>
       <emu-note><span class="note">Note 2</span><div class="note-contents">
         <p>In the case where there are duplicate name Strings within an object, lexically preceding values for the same key shall be overwritten.</p>

spec.html

@@ -123,8 +123,8 @@ <h1>
               1. <ins>Assert: _propertyDefinition_ is not ~empty~.</ins>
               1. <ins>NOTE: In the case of JSON text specifying multiple name/value pairs with the same name for a single object (such as <code>{"a":"lost","a":"kept"}</code>), the value for the corresponding property of the resulting ECMAScript object is specified by the last pair with that name.</ins>
               1. <ins>Assert: _propertyDefinition_ is <emu-grammar>PropertyDefinition : PropertyName `:` AssignmentExpression</emu-grammar>.</ins>
-              1. <ins>Let _value_ be the |AssignmentExpression| of _propertyDefinition_.</ins>
-              1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _P_, _reviver_<ins>, _value_</ins>).
+              1. <ins>Let _propertyValueNode_ be the |AssignmentExpression| of _propertyDefinition_.</ins>
+              1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _P_, _reviver_<ins>, _propertyValueNode_</ins>).
               1. If _newElement_ is *undefined*, then
                 1. Perform ? <emu-meta effects="user-code">_val_.[[Delete]]</emu-meta>(_P_).
               1. Else,