Handle Scopes:OriginalScopeTreeList case

nicolo-ribaudo · nicolo-ribaudo · commit d6821f7bbc9e · 2025-08-28T17:36:29.000+02:00
diff --git a/spec.emu b/spec.emu
@@ -1739,6 +1739,14 @@
             )
           </h1>
           <dl class="header"></dl>
+          <emu-grammar>
+            Scopes :
+              OriginalScopeTreeList
+          </emu-grammar>
+          <emu-alg>
+            1. Let _originalScopes_ be the DecodedOriginalScopeTrees of |OriginalScopeTreeList| with arguments _state_ and _names_.
+            1. Set _info_.[[Scopes]] to _originalScopes_.
+          </emu-alg>
           <emu-grammar>
             Scopes :
               OriginalScopeTreeList `,` TopLevelItemList
