If that last one passes then probably your scoping is good

1 files changed, 9 insertions, 0 deletions

diff --git a/test/cases/bytecode.bqn b/test/cases/bytecode.bqn
index 70c71b7e..0cf0860a 100644
--- a/test/cases/bytecode.bqn
+++ b/test/cases/bytecode.bqn
@@ -26,3 +26,12 @@
 2  % ({a↩2⋄𝕩}{𝕩⋄a}{a↩3⋄𝕩})a←4 # ordering
 8  % a←3⋄a{𝕩}↩8⋄a          # 13 SETM
 4  % a‿b←2‿1⋄a‿b{𝕩‿𝕨}↩4⋄a  #    lists
+
+# Further tests for lexical scoping
+1  % a←1⋄{a←2}⋄a
+2  % a←1⋄{a↩2}⋄a
+6  % f‿g←{a←2⋄{a↩𝕩}‿{𝕩⋄a}}⋄F 6⋄G 0
+5  % L←{𝕩{𝕏𝕗}}⋄{𝕏𝕤}L L L 5
+3  % _l←{𝕩{𝕏𝕗} 𝔽}⋄{𝕏𝕤} {𝕩}_l 3 _l 5
+1  % 1{𝕨}{𝔽{𝕩𝔽𝕨}𝔾𝔽}{𝕩}0    # 0≠1 via Church booleans
+2  % 0‿(0‿{𝕩}){{a‿b←𝕩⋄t←𝕤⋄{𝕤⋄T↩{𝕤⋄{a‿b←𝕩⋄a}}}{B𝕗}0⋄(T b){a‿b←𝕩⋄𝔽b}}𝕗} 0‿(1‿(2‿(3‿(4‿{𝕩}))))