Add some header verification (no parsing)

1 files changed, 12 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 696fb9d7..22bf1ce9 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -1,4 +1,6 @@
 # Headerless
+! % 1;𝕩
+! % ;
 ! % {𝕨;2+𝕩}
 ! % {𝕩;2}
 ! % {5;8}
@@ -15,3 +17,13 @@
 2 % {⟨b⟩←𝕩⋄b;𝕨,!0}{a⇐1+b⇐2}
 9 % ×{𝕩𝔽𝕩;𝔽𝕨}3
 1 % 9×{𝕩𝔾𝕩;𝕘,𝔽𝕨}!3
+
+# Overall structure
+! % :
+! % s:3
+! % {𝕩;𝕊3:2}
+! % {𝕨𝕊𝕩;Fn:𝕩-1}
+! % {𝕩;𝕊𝕩:-𝕩;𝕨}
+! % {F:6;v:4}
+! % {a:1;a←2}
+! % {_𝕣:÷3;4⋆5}