Propogate header type/kind to headerless bodies

1 files changed, 4 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 3638080c..8d6f1413 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -32,9 +32,11 @@
 ! % {𝕩; ;𝕨}
 ! % {𝕊𝕩:𝕨}
 ! % {F:6;v:4}
+! % {F:𝕩;v:4}
 ! % {a:1;a←2}
 ! % {_𝕣:÷3;4⋆5}
 ! % {_𝕣:𝔾𝕨}
+! % {a o _r b:4;o _r:6}
 
 # Labels
 5 % -{imm:a←4,a-9}
@@ -115,6 +117,8 @@
 8 % 2 +⟜1{𝔽_r_𝔾 𝕩:𝔽𝕩; 𝕨𝔽_r_𝔾𝕩:𝕨𝔾𝕩}⋆ 3
 2 % +⟜1{F _r_ G:{𝕊𝕩:F𝕩; 𝕨𝕊𝕩:𝕨G𝕩}}⋆{2⊸𝔽÷𝔽}3
 ! % {𝕨Fail𝕩:𝕨;𝕩}@
+2 % {F x:0;2}˜1
+! % {0:1;a:2}4
 
 # Predicates
 4 % {0 ? 3;4}