From b03ad889ac1266c284c977ace5930db67821e6cf Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 14 Aug 2021 10:39:48 -0400 Subject: Use HI instead of equivalent /HF for error indices --- src/c.bqn | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src') diff --git a/src/c.bqn b/src/c.bqn index f3c3c9c8..45185300 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -172,19 +172,19 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn hl←2=hn←(1⊸»+«)hc←¯1=hr "Only one header per body allowed"_err_(hc/HI) (1+hc/hi)⊏hf ho←(»∨·«(hr=3)∧⊢)hl↩hc⋄hr/˜↩hm⋄hx←(1»hc)/ha # Header-derived role hr and immediacy ¬hx cw←1+-⟜«(»ch)<1(⊢<«)cf # Body 𝕨: 0 no, 1 allowed, 2 required cw↩(hc/»hl⌈ha×1+0hc+`⊸⊏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 + "Header left argument without right"_err_(HI) ha>hc+`⊸⊏hx∾0 + "Header operation must be a plain name"_err_(HI) hm>hk≠2 + "Only plain names allowed in headers for now!"_err_(HI) 2=hk hx∨↩1=hr hj←(0≠hk)/hi⋄hu←1¨⌾(hj⊸⊏)0¨hf -- cgit v1.2.3