From 02f13d76e2629f979c134efce1c847d70c477499 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Caridy=20Pati=C3=B1o?= <caridy@gmail.com>
Date: Wed, 27 Jul 2022 10:10:07 -0400
Subject: [PATCH] Update 0-module-and-module-source.emu
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Nicolò Ribaudo <nicolo.ribaudo@gmail.com>
---
 0-module-and-module-source.emu | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/0-module-and-module-source.emu b/0-module-and-module-source.emu
index 6a43ed5..4b05fae 100644
--- a/0-module-and-module-source.emu
+++ b/0-module-and-module-source.emu
@@ -445,7 +445,10 @@ location: https://tc39.es/proposal-compartments/
     
             <ul>
               <li>
-                It must return ~unused~. It must call ResolveModuleRecordDependency for every unique |ModuleSpecifier| associated to the _moduleRecord_. Success or failure must instead be signaled as discussed below.
+                It must call ResolveModuleRecordDependency for every (_moduleRecord_, _specifierString_) pair, where _specifierString_ are the entries of _moduleRecord.[[RequestedModules]] for each recursively resolved Cyclic Module Record _moduleRecord_. ResolveModuleRecordDependency must not be called twice with the same (_moduleRecord_, _specifierString_) pair: instead, the result of the first call should be cached and reused as the result of successive resolutions.
+              </li>
+              <li>
+                It must return ~unused~. Success or failure must instead be signaled as discussed below.
               </li>
               <li>
                 The host environment must conform to one of the two following sets of requirements: