Add missing calls to NewDisposeCapability AOs (#175)

tc39 · Mar 20, 2024 · e1ef220 · e1ef220
1 parent e53b73f
commit e1ef220
Showing 1 changed file with 38 additions and 0 deletions.
diff --git a/spec.emu b/spec.emu
@@ -2315,6 +2315,44 @@ contributors: Ron Buckton, Ecma International
           1. Return _env_.
         </emu-alg>
       </emu-clause>
+
+      <emu-clause id="sec-newfunctionenvironment" type="abstract operation">
+        <h1>
+          NewFunctionEnvironment (
+            _F_: an ECMAScript function,
+            _newTarget_: an Object or *undefined*,
+          ): a Function Environment Record
+        </h1>
+        <dl class="header">
+        </dl>
+        <emu-alg>
+          1. Let _env_ be a new Function Environment Record containing no bindings.
+          1. Set _env_.[[FunctionObject]] to _F_.
+          1. If _F_.[[ThisMode]] is ~lexical~, set _env_.[[ThisBindingStatus]] to ~lexical~.
+          1. Else, set _env_.[[ThisBindingStatus]] to ~uninitialized~.
+          1. Set _env_.[[NewTarget]] to _newTarget_.
+          1. Set _env_.[[OuterEnv]] to _F_.[[Environment]].
+          1. <ins>Set _env_.[[DisposeCapability]] to NewDisposeCapability().</ins>
+          1. Return _env_.
+        </emu-alg>
+      </emu-clause>
+
+      <emu-clause id="sec-newmoduleenvironment" type="abstract operation">
+        <h1>
+          NewModuleEnvironment (
+            _E_: an Environment Record,
+          ): a Module Environment Record
+        </h1>
+        <dl class="header">
+        </dl>
+        <emu-alg>
+          1. Let _env_ be a new Module Environment Record containing no bindings.
+          1. Set _env_.[[OuterEnv]] to _E_.
+          1. <ins>Set _env_.[[DisposeCapability]] to NewDisposeCapability().</ins>
+          1. Return _env_.
+        </emu-alg>
+      </emu-clause>
+
     </emu-clause>
   </emu-clause>
 </emu-clause>