Add some header tests based on dzaima/BQN's

1 files changed, 28 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index a303ecf6..5fd646a3 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -8,10 +8,12 @@
 ! % {𝕩;{3-𝕩}𝕨;𝕩}
 ! % {≍𝕩;}
 ! % {a←𝕩;a-𝕨}
+! % {𝔽𝕩;𝕩}
 6 % {2×𝕩;𝕨÷𝕩}3
 4 % 12{2×𝕩;,𝕨÷𝕩}3
 7 % {d←𝕩×2,1+d,;!𝕨}3
 3 % 3{a←𝕩⋄;⋄⋄a←𝕨}5
+6 % a←2⋄9{𝕤,a←5,a;a×𝕩}3
 ! % ( {a←𝕩;a⇐𝕨}5).a
 4 % (4{a←𝕩;a⇐𝕨}5).a
 2 % {⟨b⟩←𝕩⋄b;𝕨,!0}{a⇐1+b⇐2}
@@ -26,6 +28,7 @@
 ! % {𝕩;𝕊𝕩:-𝕩;𝕨}
 ! % {𝕊𝕩:-𝕩;𝕨;𝕨}
 ! % {𝕊𝕩:-𝕩;𝕩;1+𝕩;2+𝕩}
+! % {𝕩; ;𝕨}
 ! % {𝕊𝕩:𝕨}
 ! % {F:6;v:4}
 ! % {a:1;a←2}
@@ -37,32 +40,50 @@
 3 % a←1⋄a+{v:a←2⋄b←3⋄a}
 ! % {l:1+l}
 ! % {𝕤:2+2}
+! % {v:𝕩}
+! % {{v:𝕩}}0
 2 % {R:1(⊣R⍟(¬𝕨⊣0)+)𝕩}0
 1 % {F:𝕤≡f}˜@
 1 % F←{F:!0},1
 0 % {F:𝕤↩↕2⋄=f}¯1
 1 % {𝕊:𝕤↩↕2⋄=𝕤}¯1
 1 % {𝕊:-𝕩}¯1
+! % {F:_𝕣}
+! % {𝕊:𝔽}
+! % {F:𝔾}
 ! % {𝔽:-𝕩}¯1
 1 % {Fn:𝕨-𝕩}¯1
 4 % 3{Fn:𝕨-𝕩}¯1
 4 % ×{_m:𝔽˜𝕩}2
 3 % 12{_𝕣_:𝕗÷𝕘}4
 3 % ¯3{_m_:-𝕗}2
+! % {_r:𝔾}
 
 # Syntax
+! % {;2⋆𝕩}
+! % {:{⋆˜𝕩}˜𝕩}
 ! % {-𝕩:𝕩}
 ! % {F𝔽: ÷𝕗}
+! % {𝕨𝕊,:1,}
 ! % {_𝕣𝕗:0}
 ! % {_m𝕘:1}
 ! % {·_𝕣:-1}
 ! % {𝕗_𝕣_𝕘:𝕨‿𝕩}
 ! % {𝕘_𝕣_𝕗:𝕣}
+! % {𝕗_𝕣_𝕗:@}
 ! % {,𝕨𝕊𝕊𝕩:{𝕩+1}𝕨}
+! % {𝕨𝕊𝕩𝕩:𝕩}
+! % {𝕨𝕨𝕊𝕩:𝕨}
+! % {𝕨𝕣𝕩:𝕩}
 ! % ⟨@,{𝕨‿𝕩𝕊𝕩:@}⟩
 ! % {𝕊:𝕊:𝕩}
+! % {𝕨𝕊𝕩::@}
+! % {𝕊0 1:𝕩}
 ! % {𝕊a:𝕩 ⋄ 𝕊b:𝕩}
 ! % {𝕊⟨a←b⟩:𝕩}
+! % {𝔽_𝕣_1:1;𝔽_𝕣_𝔾:2}
+! % {⟨a,b⟩_r:a‿b⊸⥊;a _r: a‿a _r}
+! % {⟨a,b⟩_r:a‿b⊸⥊;a _r 𝕩: a‿a _r 𝕩}
 
 # Headers
 5 % {𝕨𝕊𝕩:1+𝕩}4
@@ -79,13 +100,20 @@
 8 % 1{𝕗_m:5{𝕩_m}⍟>2×𝕗}
 2 % 0.5 {𝕗_c_𝔾,:𝔾𝕗,} ÷
 3 % 6{𝔽 _𝕣_ G:𝕗÷𝕘}2
+1 % {-÷}≡1-{𝕨𝕗_𝕣_𝕘𝕩:𝔽𝔾}÷2
+! % 1-{𝕗_𝕣_𝕘𝕩:𝔽𝔾}÷2
 
 # Headers and bodies
 1 % {𝕊𝕩:0;𝕨𝕊𝕩:1}{(𝔽5)<(4𝔽5)}
 3 % {𝕨A𝕩:𝕨≠𝕩;𝕨B𝕩:!0}"xyz"
 5 % {{𝕨F𝕩:a←𝕩,{!a≡𝕩,a-3}𝕨;𝕊:!0}{𝔽_𝕣:𝕗˜}{2×𝕩;𝕨}4}
+4 %   +⟜1{𝔽_r_𝔾 𝕩:𝔽𝕩; 𝕨𝔽_r_𝔾𝕩:𝕨𝔾𝕩}⋆ 3
+8 % 2 +⟜1{𝔽_r_𝔾 𝕩:𝔽𝕩; 𝕨𝔽_r_𝔾𝕩:𝕨𝔾𝕩}⋆ 3
+2 % +⟜1{F _r_ G:{𝕊𝕩:F𝕩; 𝕨𝕊𝕩:𝕨G𝕩}}⋆{2⊸𝔽÷𝔽}3
 
 # Destructuring
 2 % {𝕊a‿b:b-a}3‿5
 ! % {𝕊a‿b:𝕩}↕4
 3 % {𝕊a‿b:b-a;≠𝕩}3‿5‿6
+3 % 1  {⟨a,b⟩_r𝕩:a+b×𝕩; a _r𝕩:a‿a _r 𝕩} 2
+7 % 1‿3{⟨a,b⟩_r𝕩:a+b×𝕩; a _r𝕩:a‿a _r 𝕩} 2