From 802621c0c41f038aad9b650264800f4e7bfaeb3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=B2=20Ribaudo?= Date: Wed, 27 Mar 2024 17:02:35 +0100 Subject: [PATCH] Fix ins/del tags --- spec.emu | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spec.emu b/spec.emu index 3f8cd04..8416df1 100644 --- a/spec.emu +++ b/spec.emu @@ -73,11 +73,12 @@ contributors: Nicolò Ribaudo 1. If _P_ is a Symbol, then 1. Return ! OrdinaryGet(_O_, _P_, _Receiver_). - 1. Let _m_ be _O_.[[Module]]. + 1. Let _m_ be _O_.[[Module]]. 1. If _m_ is not a Cyclic Module Record, or both _m_.[[Status]] is ~linked~ and AnyDependencyNeedsAsyncEvaluation(_m_) is *false*, then 1. Perform ? EvaluateSync(_m_). 1. Let _exports_ be _O_.[[Exports]]. 1. If _exports_ does not contain _P_, return *undefined*. + 1. Let _m_ be _O_.[[Module]]. 1. Let _binding_ be _m_.ResolveExport(_P_). 1. Assert: _binding_ is a ResolvedBinding Record. 1. Let _targetModule_ be _binding_.[[Module]].