remove all dfs refs in async fulfillment

tc39 · Feb 2, 2021 · 52a9a1e · 52a9a1e
1 parent 42ed64a
commit 52a9a1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/spec.html b/spec.html
@@ -675,7 +675,7 @@ <h1><ins>CyclicModuleExecutionFulfilled ( _module_ )</ins></h1>
               1. Otherwise,
                 1. Perform ! AsyncModuleExecutionRejected(_m_, _result_.[[Value]]).
         1. If _module_.[[TopLevelCapability]] is not *undefined*, then
-          1. Assert: _module_.[[DFSIndex]] is equal to _module_.[[DFSAncestorIndex]].
+          1. Assert: _module_.[[CycleRoot]] is equal to _module_.
           1. Perform ! Call(_module_.[[TopLevelCapability]].[[Resolve]], *undefined*, &laquo;*undefined*&raquo;).
         1. Return *undefined*.
       </emu-alg>
@@ -694,7 +694,7 @@ <h1><ins>AsyncModuleExecutionRejected ( _module_, _error_ )</ins></h1>
         1. For each Module _m_ of _module_.[[AsyncParentModules]], do
           1. Perform ! AsyncModuleExecutionRejected(_m_, _error_).
         1. If _module_.[[TopLevelCapability]] is not *undefined*, then
-          1. Assert: _module_.[[DFSIndex]] is equal to _module_.[[DFSAncestorIndex]].
+          1. Assert: _module_.[[CycleRoot]] is equal to _module_.
           1. Perform ! Call(_module_.[[TopLevelCapability]].[[Reject]], *undefined*, &laquo;_error_&raquo;).
         1. Return *undefined*.
       </emu-alg>