Skip to content

Commit

Permalink
Fix ins/del tags
Browse files Browse the repository at this point in the history
  • Loading branch information
nicolo-ribaudo committed Mar 27, 2024
1 parent 05863ca commit 802621c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion spec.emu
Original file line number Diff line number Diff line change
Expand Up @@ -73,11 +73,12 @@ contributors: Nicolò Ribaudo
<emu-alg>
1. If _P_ is a Symbol, then
1. Return ! OrdinaryGet(_O_, _P_, _Receiver_).
1. Let _m_ be _O_.[[Module]].
1. <ins>Let _m_ be _O_.[[Module]].</ins>
1. <ins>If _m_ is not a Cyclic Module Record, or both _m_.[[Status]] is ~linked~ and AnyDependencyNeedsAsyncEvaluation(_m_) is *false*, then</ins>
1. <ins>Perform ? EvaluateSync(_m_).</ins>
1. Let _exports_ be _O_.[[Exports]].
1. If _exports_ does not contain _P_, return *undefined*.
1. <del>Let _m_ be _O_.[[Module]].</del>
1. Let _binding_ be _m_.ResolveExport(_P_).
1. Assert: _binding_ is a ResolvedBinding Record.
1. Let _targetModule_ be _binding_.[[Module]].
Expand Down

0 comments on commit 802621c

Please sign in to comment.