From 9a35ffd773718641f6aa7f2137012e58002606ef Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 24 Nov 2021 21:19:38 -0500
Subject: =?UTF-8?q?Reject=20=CB=9C=E2=81=BC=20header=20without=20left=20ar?=
 =?UTF-8?q?gument?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/c.bqn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/c.bqn b/src/c.bqn
index 7f6a8460..0128a99b 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -191,6 +191,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
   "Invalid Undo header syntax"_err_(HI) hm<×ut
   "Header left argument without right"_err_(HI) ha>hc+`⊸⊏hx∾0
   "Header operation must be a plain name"_err_(HI) hma>hk≠2
+  "Header with ˜⁼ must have left argument"_err_(HI) (hl<2=ut)>«ha
   ut/˜↩hm
   cwh←(2×2=ut)⌈hc/»hl⌈ha×1+he←0≠hk          # ↓ for just headers
   cw←cwh⌾(ch⊸/)1+-⟜«(»cq)<1(⊢<«)cf          # Body 𝕨: 0 no, 1 allowed, 2 required
-- 
cgit v1.2.3