From a62f1adff383398fae6c942d8ebe9d3fee4fdd8e Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 23 Nov 2021 17:09:25 -0500 Subject: =?UTF-8?q?Support=20=F0=9D=94=BD=5F=F0=9D=95=A3=5F=F0=9D=94=BE?= =?UTF-8?q?=E2=81=BC:=20header=20correctly?= 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 eba491fa..0ad1a8c9 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -187,6 +187,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn "Incorrect special name"_err_(HI) (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 + ut-↩-⟜»ut×ho # Shift ⁼ from right operand to main name "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 -- cgit v1.2.3