From 38667f6fee23f3470c0a980c9f63c60c1c9ee644 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 13 Aug 2021 22:49:21 -0400
Subject: =?UTF-8?q?Require=20left=20argument=20if=20header=20has=20non-?=
 =?UTF-8?q?=F0=9D=95=A8=20left=20arg?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/c.bqn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/c.bqn b/src/c.bqn
index 66dedac3..589422c5 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -179,7 +179,8 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
   "Incorrect special name"_err_(/HF) (0=hk)∧ht≠hv+⊑bI
   hk×↩¬hc∨hl∧0=hr                           # Treat subject labels like special names
   hm>↩hc⋄hr/˜↩hm⋄hx←(1»hc)/ha               # Header-derived role hr and immediacy ¬hx
-  cw←(hc/»hl∨ha)⌾(ch⊸/)1+-⟜«(»ch)<1(⊢<«)cf  # Body 𝕨: 0 no, 1 allowed, 2 required
+  cw←1+-⟜«(»ch)<1(⊢<«)cf                    # Body 𝕨: 0 no, 1 allowed, 2 required
+  cw↩(hc/»hl⌈ha×1+0<hk)⌾(ch⊸/)cw
   "Header left argument without right"_err_(/HF) ha>hc+`⊸⊏hx∾0
   "Header operation must be a plain name"_err_(/HF) hm>hk≠2
   "Only plain names allowed in headers for now!"_err_(/HF) 2=hk
-- 
cgit v1.2.3