From 76bc9fe08d41b08b3c08edf01f46b38abc1f126e Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 30 Aug 2022 08:15:31 -0400 Subject: =?UTF-8?q?Use=200<=20instead=20of=20=C3=97=20everywhere=20in=20th?= =?UTF-8?q?e=20compiler?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/c.bqn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/c.bqn') diff --git a/src/c.bqn b/src/c.bqn index 40f68722..a16a2a9b 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -195,11 +195,11 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn 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 + "Invalid Undo header syntax"_err_(HI) hm<0hc+`⊸⊏hx∾0 "Header operation must be a plain name"_err_(HI) hma>hk≠2 ut/˜↩hm⋄hx∨↩1=hr - "Header with ⁼ must take arguments"_err_(hm/HI) hx<×ut + "Header with ⁼ must take arguments"_err_(hm/HI) hx<0