Visit relevant optional re-exports in ReadyForSyncExecution

Author: nicolo-ribaudo

spec.emu

@@ -45,7 +45,7 @@ contributors: Nicolò Ribaudo
           1. Let _binding_ be _m_.ResolveExport(_P_).
           1. Assert: _binding_ is a ResolvedBinding Record.
           1. <ins>For each Module Record _deferredModule_ of _binding_.[[DeferredModules]], do</ins>
-            1. <ins>If ReadyForSyncExecution(_deferredModule_) is *false*, throw a *TypeError* exception.</ins>
+            1. <ins>If ReadyForSyncExecution(_deferredModule_, <ins>« »</ins>) is *false*, throw a *TypeError* exception.</ins>
             1. <ins>Perform ? EvaluateModuleSync(_deferredModule_).</ins>
           1. Let _targetModule_ be _binding_.[[Module]].
           1. Assert: _targetModule_ is not *undefined*.
@@ -60,6 +60,48 @@ contributors: Nicolò Ribaudo
           <p>ResolveExport is side-effect free. Each time this operation is called with a specific _exportName_, _resolveSet_ pair as arguments it must return the same result. An implementation might choose to pre-compute or cache the ResolveExport results for the [[Exports]] of each module namespace exotic object.</p>
         </emu-note>
       </emu-clause>
+
+      <emu-clause id="sec-GetModuleExportsList" number="14">
+        <h1>GetModuleExportsList ( _O_ )</h1>
+        <emu-note type="editor">This section is defined in the <a href="https://tc39.es/proposal-defer-import-eval/#sec-GetModuleExportsList">Deferred Imports Evaluation</a> proposal.</emu-note>
+
+        <!-- not using type="abstract operation" to auto-generate this description, because it does not support inserting an <emu-note> at the beginning. -->
+        <p>The abstract operation <dfn style="font-style: inherit">GetModuleExportsList</dfn> takes argument _O_ (a module namespace exotic object) and returns either a normal completion containing a List of Strings, or a throw completion. It returns a List whose elements are the names of the module's exports, triggering module evaluation if needed. It performs the following steps when called:</p>
+        <emu-alg>
+          1. If _O_.[[Deferred]] is *true*, then
+            1. Let _m_ be _O_.[[Module]].
+            1. If ReadyForSyncExecution(_m_, <ins>« »</ins>) is *false*, throw a *TypeError* exception.
+            1. Perform ? EvaluateModuleSync(_m_).
+          1. Return _O_.[[Exports]].
+        </emu-alg>
+
+        <emu-clause id="sec-ReadyForSyncExecution" type="abstract operation">
+          <h1>
+            ReadyForSyncExecution (
+              _module_: a Module Record,
+              <ins>_importedNames_: ~all~ or a List of Strings,</ins>
+              optional _seen_: a List of Module Records,
+            ): a Boolean
+          </h1>
+          <dl class="header"></dl>
+          <emu-alg>
+            1. If _module_ is not a Cyclic Module Record, return *true*.
+            1. If _seen_ is not present, set _seen_ to a new empty List.
+            1. If _seen_ contains _module_, return *true*.
+            1. Append _module_ to _seen_.
+            1. If _module_.[[Status]] is ~evaluated~, return *true*.
+            1. If _module_.[[Status]] is ~evaluating~ or ~evaluating-async~, return *false*.
+            1. Assert: _module_.[[Status]] is ~linked~.
+            1. If _module_.[[HasTLA]] is *true*, return *false*.
+            1. <ins>Let _requests_ be the list-concatenation of _module_.[[RequestedModules]] and _module_.GetOptionalIndirectExportsModuleRequests(_importedNames_ ).</ins>
+            1. For each ModuleRequest Record _request_ of <del>_module_.[[RequestedModules]]</del><ins>_requests_</ins>, do
+              1. Let _requiredModule_ be GetImportedModule(_module_, _request_).
+              1. If ReadyForSyncExecution(_requiredModule_, <ins>_request_.[[ImportedNames]],</ins> _seen_) is *false*, then
+                1. Return *false*.
+            1. Return *true*.
+          </emu-alg>
+        </emu-clause>
+      </emu-clause>
     </emu-clause>
   </emu-clause>
 </emu-clause>