Promote all headerless bodies in a block to the same kind

1 files changed, 5 insertions, 2 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 1be7ca77..a03abf9f 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -2,14 +2,13 @@
 ! % 1;𝕩
 ! % ;
 ! % {𝕨;2+𝕩}
-! % {𝕩;2}
 ! % {5;8}
 ! % 3{𝕗;-𝕗}
 ! % {𝕩;{3-𝕩}𝕨;𝕩}
 ! % {≍𝕩;}
 ! % {a←𝕩;a-𝕨}
-! % {𝔽𝕩;𝕩}
 6 % {2×𝕩;𝕨÷𝕩}3
+2 % 1{𝕩;2}3
 4 % 12{2×𝕩;,𝕨÷𝕩}3
 7 % {d←𝕩×2,1+d,;!𝕨}3
 3 % 3{a←𝕩⋄;⋄⋄a←𝕨}5
@@ -19,6 +18,8 @@
 2 % {⟨b⟩←𝕩⋄b;𝕨,!0}{a⇐1+b⇐2}
 9 % ×{𝕩𝔽𝕩;𝔽𝕨}3
 1 % 9×{𝕩𝔾𝕩;𝕘,𝔽𝕨}!3
+4 % ט{𝔽𝕩;𝕩}2
+3 % 6-{𝔽𝕩;𝕨𝔾𝕩}÷2
 
 # Overall structure
 ! % :
@@ -129,6 +130,8 @@
 3 % 1{𝕨<𝕩?𝕨+𝕩;𝕩;𝕨}2
 3 % 3{𝕨<𝕩?𝕨+𝕩;𝕩;𝕨}2
 4 % ⟨4,2⟩{=𝕗?⊑𝕗;𝕗}
+1 % 0 ({𝕩=1?0;1}¨≡=) 0‿1
+9 % { 5=𝕩?0; ט𝕩 } 3
 
 # Destructuring
 2 % {𝕊a‿b:b-a}3‿5