fixup! [WIP] Top-level await integration

Author: Ms2ger

spec.html

@@ -70,7 +70,7 @@ <h1><ins>Runtime Semantics: HostImportModuleDynamically ( _referencingScriptOrMo
 
             <dd>
               <ul>
-                <li>At some future time, the host environment must perform FinishDynamicImport(_referencingScriptOrModule_, _specifier_, _promiseCapability_, Promise.resolve(*undefined*)).</li>
+                <li>At some future time, the host environment must perform FinishDynamicImport(_referencingScriptOrModule_, _specifier_, _promiseCapability_, _promise_), where _promise_ is a Promise resolved with *undefined*.</li>
 
                 <li>Any subsequent call to HostResolveImportedModule after FinishDynamicImport has completed, given the arguments _referencingScriptOrModule_ and _specifier_, must complete normally.</li>
 
@@ -82,7 +82,7 @@ <h1><ins>Runtime Semantics: HostImportModuleDynamically ( _referencingScriptOrMo
 
             <dd>
               <ul>
-                <li>At some future time, the host environment must perform FinishDynamicImport(_referencingScriptOrModule_, _specifier_, _promiseCapability_, Promise.reject(an error)), with the error representing the cause of failure.</li>
+                <li>At some future time, the host environment must perform FinishDynamicImport(_referencingScriptOrModule_, _specifier_, _promiseCapability_, _promise_), where _promise_ is a Promise rejected with an error representing the cause of failure.</li>
               </ul>
             </dd>
           </dl>
@@ -106,16 +106,17 @@ <h1><ins>Runtime Semantics: FinishDynamicImport ( _referencingScriptOrModule_, _
       <p>FinishDynamicImport completes the process of a dynamic import originally started by an `import()` call, resolving or rejecting the promise returned by that call as appropriate according to _completion_. It is performed by host environments as part of HostImportModuleDynamically.</p>
 
       <emu-alg>
-        1. Upon fulfillment of _innerPromise_ with value _v_,
+        1. Let _onFulfilled_ be ! CreateBuiltinFunction(the following steps with argument _v_, « »).
           1. Assert: _v_ is *undefined*.
           1. Let _moduleRecord_ be ! HostResolveImportedModule(_referencingScriptOrModule_, _specifier_).
           1. Assert: Evaluate has already been invoked on _moduleRecord_ and successfully completed.
           1. Assert: _moduleRecord_.[[ExecPromise]] is resolved.
           1. Let _namespace_ be GetModuleNamespace(_moduleRecord_).
           1. If _namespace_ is an abrupt completion, perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _namespace_.[[Value]] »).
           1. Otherwise, perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _namespace_.[[Value]] »).
-        1. Upon rejection of _innerPromise_ with reason _r_,
+        1. Let _onRejected_ be ! CreateBuiltinFunction(the following steps with argument _r_, « »).
           1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _r_ »).
+        1. ! PerformPromiseThen(_innerPromise_, _onFulfilled_, _onRejected_).
       </emu-alg>
     </emu-clause>
   </emu-clause>