Fix signature for DisposeResources

Author: rbuckton

spec.html

@@ -7203,7 +7203,7 @@ <h1>
         DisposeResources (
           _disposable_: an object with a [[DisposableResourceStack]] internal slot or *undefined*,
           _completion_: a Completion Record,
-        ): a Completion Record
+        ): either a normal completion containing an ECMAScript language value or an abrupt completion
       </h1>
       <dl class="header"></dl>
       <emu-alg>
@@ -9661,7 +9661,7 @@ <h1>
         </dl>
         <emu-alg>
           1. If _environment_ is not *undefined*, then
-            1. Perform ! _environment_.InitializeBinding(_name_, _value_).
+            1. Perform ! _environment_.InitializeBinding(_name_, _value_, ~normal~).
             1. Return ~unused~.
           1. Else,
             1. Let _lhs_ be ? ResolveBinding(_name_).
@@ -10289,7 +10289,7 @@ <h1>
               _N_: a String,
               _V_: an ECMAScript language value,
               _hint_: either ~normal~ or ~sync-dispose~,
-            ): a normal completion containing ~unused~
+            ): either a normal completion containing ~unused~ or a throw completion
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10326,7 +10326,7 @@ <h1>
             1. [id="step-setmutablebinding-missing-binding"] If _envRec_ does not have a binding for _N_, then
               1. If _S_ is *true*, throw a *ReferenceError* exception.
               1. Perform ! _envRec_.CreateMutableBinding(_N_, *true*).
-              1. Perform ! _envRec_.InitializeBinding(_N_, _V_).
+              1. Perform ! _envRec_.InitializeBinding(_N_, _V_, ~normal~).
               1. Return ~unused~.
             1. If the binding for _N_ in _envRec_ is a strict binding, set _S_ to *true*.
             1. If the binding for _N_ in _envRec_ has not yet been initialized, throw a *ReferenceError* exception.
@@ -11051,11 +11051,11 @@ <h1>
           <emu-alg>
             1. Let _DclRec_ be _envRec_.[[DeclarativeRecord]].
             1. If ! _DclRec_.HasBinding(_N_) is *true*, then
-              1. Return ! _DclRec_.InitializeBinding(_N_, _V_, _hint_).
+              1. Return ? _DclRec_.InitializeBinding(_N_, _V_, _hint_).
             1. Assert: _hint_ is ~normal~.
             1. Assert: If the binding exists, it must be in the Object Environment Record.
             1. Let _ObjRec_ be _envRec_.[[ObjectRecord]].
-            1. Return ? <emu-meta effects="user-code">_ObjRec_.InitializeBinding</emu-meta>(_N_, _V_).
+            1. Return ? <emu-meta effects="user-code">_ObjRec_.InitializeBinding</emu-meta>(_N_, _V_, ~normal~).
           </emu-alg>
         </emu-clause>
 
@@ -11318,7 +11318,7 @@ <h1>
             1. Let _extensible_ be ? IsExtensible(_globalObject_).
             1. If _hasProperty_ is *false* and _extensible_ is *true*, then
               1. Perform ? <emu-meta effects="user-code">_ObjRec_.CreateMutableBinding</emu-meta>(_N_, _D_).
-              1. Perform ? <emu-meta effects="user-code">_ObjRec_.InitializeBinding</emu-meta>(_N_, *undefined*).
+              1. Perform ? <emu-meta effects="user-code">_ObjRec_.InitializeBinding</emu-meta>(_N_, *undefined*, ~normal~).
             1. Let _varDeclaredNames_ be _envRec_.[[VarNames]].
             1. If _varDeclaredNames_ does not contain _N_, then
               1. Append _N_ to _varDeclaredNames_.
@@ -21317,7 +21317,7 @@ <h1>
           1. Assert: _hint_ is ~normal~.
           1. Let _lhs_ be ! ResolveBinding(StringValue of |BindingIdentifier|).
           1. Perform ! InitializeReferencedBinding(_lhs_, *undefined*, ~normal~).
-          1. Return ~empty~.
+          1. Return ~unused~.
         </emu-alg>
         <emu-note>
           <p>A static semantics rule ensures that this form of |LexicalBinding| never occurs in a `const` or `using` declaration.</p>
@@ -21332,7 +21332,7 @@ <h1>
             1. Let _rhs_ be ? Evaluation of |Initializer|.
             1. Let _value_ be ? GetValue(_rhs_).
           1. Perform ! InitializeReferencedBinding(_lhs_, _value_, _hint_).
-          1. Return ~empty~.
+          1. Return ~unused~.
         </emu-alg>
         <emu-grammar>LexicalBinding : BindingPattern Initializer</emu-grammar>
         <emu-alg>
@@ -21920,7 +21920,7 @@ <h1>
             1. For each element _bn_ of _perIterationBindings_, do
               1. Perform ! _thisIterationEnv_.CreateMutableBinding(_bn_, *false*).
               1. Let _lastValue_ be ? _lastIterationEnv_.GetBindingValue(_bn_, *true*).
-              1. Perform ! _thisIterationEnv_.InitializeBinding(_bn_, _lastValue_).
+              1. Perform ! _thisIterationEnv_.InitializeBinding(_bn_, _lastValue_, ~normal~).
             1. Set the running execution context's LexicalEnvironment to _thisIterationEnv_.
           1. Return ~unused~.
         </emu-alg>
@@ -48859,7 +48859,7 @@ <h1>Changes to FunctionDeclarationInstantiation</h1>
                 1. NOTE: A var binding for _F_ is only instantiated here if it is neither a VarDeclaredName, the name of a formal parameter, or another |FunctionDeclaration|.
                 1. If _initializedBindings_ does not contain _F_ and _F_ is not *"arguments"*, then
                   1. Perform ! _varEnv_.CreateMutableBinding(_F_, *false*).
-                  1. Perform ! _varEnv_.InitializeBinding(_F_, *undefined*).
+                  1. Perform ! _varEnv_.InitializeBinding(_F_, *undefined*, ~normal~).
                   1. Append _F_ to _instantiatedVarNames_.
                 1. When the |FunctionDeclaration| _f_ is evaluated, perform the following steps in place of the |FunctionDeclaration| Evaluation algorithm provided in <emu-xref href="#sec-function-definitions-runtime-semantics-evaluation"></emu-xref>:
                   1. Let _fenv_ be the running execution context's VariableEnvironment.
@@ -48929,7 +48929,7 @@ <h1>Changes to EvalDeclarationInstantiation</h1>
                       1. Let _bindingExists_ be ! _varEnv_.HasBinding(_F_).
                       1. If _bindingExists_ is *false*, then
                         1. Perform ! _varEnv_.CreateMutableBinding(_F_, *true*).
-                        1. Perform ! _varEnv_.InitializeBinding(_F_, *undefined*).
+                        1. Perform ! _varEnv_.InitializeBinding(_F_, *undefined*, ~normal~).
                     1. Append _F_ to _declaredFunctionOrVarNames_.
                   1. When the |FunctionDeclaration| _f_ is evaluated, perform the following steps in place of the |FunctionDeclaration| Evaluation algorithm provided in <emu-xref href="#sec-function-definitions-runtime-semantics-evaluation"></emu-xref>:
                     1. Let _genv_ be the running execution context's VariableEnvironment.