From 35680bd835914bf96a76e145356990f945d2c785 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 24 Nov 2021 21:33:32 -0500
Subject: Reject immediate block Undo header

---
 test/cases/unhead.bqn | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/cases/unhead.bqn b/test/cases/unhead.bqn
index be77cf86..3e1e6ad2 100644
--- a/test/cases/unhead.bqn
+++ b/test/cases/unhead.bqn
@@ -11,11 +11,12 @@
 ! % {𝔽⁼_𝕣𝕩: 𝔽⁼𝕩}
 
 # Invalid header use
+! % {o⁼:0}
 ! % {𝕊⁼𝕩:𝕨}
 ! % {𝕩 ; 𝕊⁼:𝕩}
 ! % {𝔽_𝕣 𝕩: 𝕘}
-#! % {𝔽_𝕣: 1+𝔽; 𝔽_𝕣⁼: 𝔽-⟜1}
-#! % {𝕗_𝕣_𝕘 ⁼: 3}
+! % {𝔽_𝕣: 1+𝔽; 𝔽_𝕣⁼: 𝔽-⟜1}
+! % {𝕗_𝕣_𝕘 ⁼: 3}
 ! % {𝕗_𝕣_𝕘˜⁼: 3}
 ! % {𝕊˜⁼𝕩: 𝕨-𝕩}
 ! % {𝔽_𝕣_𝔾˜⁼ 𝕩: 𝕗‿𝕘‿𝕩}
-- 
cgit v1.2.3