From a18eadf8df214b52ebb90c9bbbc433a3ad7c6ced Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 29 Jun 2022 09:20:02 -0400 Subject: =?UTF-8?q?Fix=20error=20location=20crash=20for=20=CB=9C=E2=81=BC?= =?UTF-8?q?=20header=20missing=20=F0=9D=95=A8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/c.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/c.bqn b/src/c.bqn index 615b0709..8f546551 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -200,7 +200,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn ut/˜↩hm⋄hx∨↩1=hr "Header with ⁼ must take arguments"_err_(hm/HI) hx<×ut cwh←hc/»hl⌈ha×1+he←0≠hk # Body 𝕨 for just headers - "Header with ˜⁼ must have left argument"_err_(HI) (0=cwh)∧ut2←2=ut + "Header with ˜⁼ must have left argument"_err_(hm/HI) (0=cwh)∧ut2←2=ut cw←(cwh⌈2×ut2)⌾(ch⊸/)1+-⟜«(»cq)<1(⊢<«)cf # Body 𝕨: 0 no, 1 allowed, 2 required hl/˜↩hm⋄hu←(¬he)⌾(hi⊸⊏)hf # hu: mask of header special names hj←gi⊏˜he/hi⋄hd←2=he/hk # hj: header assignments; hd: which ones destructure -- cgit v1.2.3