fixup: replace [[IsInitialized]] field with ~uninitialized~ possibility in [[BoundValue]]

Author: jmdyck

spec.html

@@ -10103,23 +10103,12 @@ <h1>Declarative Environment Records</h1>
                 the name being bound.
               </td>
             </tr>
-            <tr>
-              <td>
-                [[IsInitialized]]
-              </td>
-              <td>
-                a Boolean
-              </td>
-              <td>
-                indicates whether the binding is initialized.
-              </td>
-            </tr>
             <tr>
               <td>
                 [[BoundValue]]
               </td>
               <td>
-                an ECMAScript language value
+                an ECMAScript language value or ~uninitialized~
               </td>
               <td>
                 the value that the name is bound to.
@@ -10198,7 +10187,7 @@ <h1>
           </dl>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *false*.
-            1. Let _binding_ be DeclarativeBindingRecord { [[BoundName]]: _N_, [[IsInitialized]]: *false*, [[BoundValue]]: *undefined*, [[IsMutable]]: *true*, [[IsDeletable]]: _D_, [[IsStrict]]: *false* }.
+            1. Let _binding_ be DeclarativeBindingRecord { [[BoundName]]: _N_, [[BoundValue]]: ~uninitialized~, [[IsMutable]]: *true*, [[IsDeletable]]: _D_, [[IsStrict]]: *false* }.
             1. Append _binding_ to _envRec_.[[Bindings]].
             1. Return NormalCompletion(~empty~).
           </emu-alg>
@@ -10220,7 +10209,7 @@ <h1>
           </dl>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *false*.
-            1. Let _binding_ be DeclarativeBindingRecord { [[BoundName]]: _N_, [[IsInitialized]]: *false*, [[BoundValue]]: *undefined*, [[IsMutable]]: *false*, [[IsDeletable]]: *false*, [[IsStrict]]: _S_ }.
+            1. Let _binding_ be DeclarativeBindingRecord { [[BoundName]]: _N_, [[BoundValue]]: ~uninitialized~, [[IsMutable]]: *false*, [[IsDeletable]]: *false*, [[IsStrict]]: _S_ }.
             1. Append _binding_ to _envRec_.[[Bindings]].
             1. Return NormalCompletion(~empty~).
           </emu-alg>
@@ -10243,9 +10232,8 @@ <h1>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
             1. Let _binding_ be the DeclarativeBindingRecord in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
-            1. Assert: _binding_.[[IsInitialized]] is *false*.
+            1. Assert: _binding_.[[BoundValue]] is ~uninitialized~.
             1. Set _binding_.[[BoundValue]] to _V_.
-            1. Set _binding_.[[IsInitialized]] to *true*.
             1. Return NormalCompletion(~empty~).
           </emu-alg>
         </emu-clause>
@@ -10273,7 +10261,7 @@ <h1>
               1. Return NormalCompletion(~empty~).
             1. Let _binding_ be the DeclarativeBindingRecord in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
             1. If _binding_.[[IsStrict]] is *true*, set _S_ to *true*.
-            1. If _binding_.[[IsInitialized]] is *false*, throw a *ReferenceError* exception.
+            1. If _binding_.[[BoundValue]] is ~uninitialized~, throw a *ReferenceError* exception.
             1. Else if _binding_.[[IsMutable]] is *true*, change its bound value to _V_.
             1. Else,
               1. Assert: This is an attempt to change the value of an immutable binding.
@@ -10303,7 +10291,7 @@ <h1>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
             1. Let _binding_ be the DeclarativeBindingRecord in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
-            1. If _binding_.[[IsInitialized]] is *false*, throw a *ReferenceError* exception.
+            1. If _binding_.[[BoundValue]] is ~uninitialized~, throw a *ReferenceError* exception.
             1. Return _binding_.[[BoundValue]].
           </emu-alg>
         </emu-clause>
@@ -11397,7 +11385,7 @@ <h1>
               1. Let _targetEnv_ be _M_.[[Environment]].
               1. If _targetEnv_ is ~empty~, throw a *ReferenceError* exception.
               1. Return ? <emu-meta effects="user-code">_targetEnv_.GetBindingValue</emu-meta>(_N2_, *true*).
-            1. If _binding_.[[IsInitialized]] is *false*, throw a *ReferenceError* exception.
+            1. If _binding_.[[BoundValue]] is ~uninitialized~, throw a *ReferenceError* exception.
             1. Return _binding_.[[BoundValue]].
           </emu-alg>
           <emu-note>
@@ -11456,7 +11444,7 @@ <h1>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *false*.
             1. Assert: When _M_.[[Environment]] is instantiated it will have a direct binding for _N2_.
-            1. Let _binding_ be ImportDeclarativeBindingRecord { [[BoundName]]: _N_, [[IsInitialized]]: *true*, [[BoundValue]]: *undefined*, [[IsMutable]]: *false*, [[IsDeletable]]: *false*, [[IsStrict]]: *false*, [[TargetModuleRec]]: _M_, [[TargetName]]: _N2_ }.
+            1. Let _binding_ be ImportDeclarativeBindingRecord { [[BoundName]]: _N_, [[BoundValue]]: *undefined*, [[IsMutable]]: *false*, [[IsDeletable]]: *false*, [[IsStrict]]: *false*, [[TargetModuleRec]]: _M_, [[TargetName]]: _N2_ }.
             1. Append _binding_ to _envRec_.[[Bindings]].
             1. Return NormalCompletion(~empty~).
           </emu-alg>
@@ -47540,7 +47528,7 @@ <h1>Changes to BlockDeclarationInstantiation</h1>
         <p>During BlockDeclarationInstantiation the following steps are performed in place of step <emu-xref href="#step-blockdeclarationinstantiation-initializebinding"></emu-xref>:</p>
         <emu-alg replaces-step="step-blockdeclarationinstantiation-initializebinding">
           1. Let _binding_ be the DeclarativeBindingRecord in _env_.[[Bindings]] whose [[BoundName]] field equals _fn_.
-          1. If _binding_.[[IsInitialized]] is *false*, then
+          1. If _binding_.[[BoundValue]] is ~uninitialized~, then
             1. Perform _env_.InitializeBinding(_fn_, _fo_).
           1. Else,
             1. Assert: _d_ is a |FunctionDeclaration|.