Use synchronous instantiation

Author: nicolo-ribaudo

document/js-api/index.bs

@@ -1278,8 +1278,8 @@ To <dfn export>parse a WebAssembly module</dfn> given a an {{ArrayBuffer}} |byte
       \[[RequestedModules]]: |requestedModules|,
       \[[LoadedModules]]: &laquo; &raquo;,
       \[[CycleRoot]]: ~empty~,
-      \[[HasTLA]]: true,
-      \[[AsyncEvaluation]]: true,
+      \[[HasTLA]]: false,
+      \[[AsyncEvaluation]]: false,
       \[[TopLevelCapability]]: ~empty~
       \[[AsyncParentModules]]: &laquo; &raquo;,
       \[[PendingAsyncDependencies]]: ~empty~,
@@ -1334,9 +1334,8 @@ WebAssembly Module Records have the following methods:
 <div algorithm=ExecuteModule>
 
 <h3 id="module-execution">ExecuteModule ( [ |promiseCapability| ] ) Concrete Method</h3>
-1. Assert: |promiseCapability| was provided.
+1. Assert: |promiseCapability| was not provided.
 1. Let |record| be this WebAssembly Module Record.
-1. Assert: |record|.\[[HasTLA]] is true.
 1. Let |module| be |record|.\[[WebAssemblyModule]].
 1. Let |imports| be a new, empty [=map=].
 1. For each (|importedModuleName|, |name|, <var ignore>type</var>) in [=module_imports=](|module|.\[[Module]]),
@@ -1350,13 +1349,9 @@ WebAssembly Module Records have the following methods:
     1. For each |importedName| → |importedValue| of |value|,
         1. Perform ! [$CreateDataPropertyOrThrow$](|moduleImportsObject|, |importedName|, |importedValue|).
     1. Perform ! [$CreateDataPropertyOrThrow$](|importsObject|, |key|, |moduleImportsObject|).
-1. [=Asynchronously instantiate a WebAssembly module=] |module| with imports |importsObject| and let |instancePromise| be the result.
-1. [=Upon fulfillment=] of |instancePromise| with value |instance|:
-    1. For each |name| in the [=export name list=] of |record|,
-        1. Perform ! |record|.\[[Environment]].InitializeBinding(|name|, ! Get(|instance|.\[[Exports]], |name|)).
-    1. Perform ! [=Call=](|promiseCapability|.\[[Resolve]], undefined, &laquo; undefined &raquo;).
-1. [=Upon rejection=] of |instancePromise| with reason |r|:
-    1. Perform ! [=Call=](|promiseCapability|.\[[Reject]], undefined, &laquo; |r| &raquo;).
+1. Let |instance| be the result of [=Instantiate a WebAssembly module|instantiating the WebAssembly module=] |module| with imports |importsObject|.
+1. For each |name| in the [=export name list=] of |record|,
+    1. Perform ! |record|.\[[Environment]].InitializeBinding(|name|, ! Get(|instance|.\[[Exports]], |name|)).
 
     Note: exported bindings are left uninitialized, i.e., in TDZ.