From 1e4df68fc965db0c9505e8020eb0195e9e7a1add Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 2 Nov 2021 17:55:15 -0400
Subject: Propogate header type/kind to headerless bodies

---
 test/cases/header.bqn | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'test')

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}
-- 
cgit v1.2.3