From db50d41a0e4935afca52f087fbf09310f626f33f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 12 Oct 2021 21:48:39 -0400 Subject: =?UTF-8?q?Prevent=20assignment=20to=20change=20=F0=9D=95=A8=20fro?= =?UTF-8?q?m=20Nothing?= 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 de9b1059..06efb86b 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -186,7 +186,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn hv←(hla+ha×1+«hc)+(ho×4+«3=hr)+hma×3×1-˜2⌊hr # Special name for position "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 + hm>↩hc⋄hr/˜↩hm⋄hx←(1»hc)/ha # Header-derived role hr and immediacy ¬hx "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 @@ -248,6 +248,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn at∾↩hj⋄ac←«⊸-(ak∾6¨hj)⌾(at⊸⊏)0¨𝕩 # Header assignment is 6 temporarily aa←×gac←g⊏ac↩»+`(1⊸»⊸∨0=+`)⊸×gi⊏ac # Broadcast ac to the entire target ac-↩3×ah←6=ac # Assignment is header; 6→3 + nx⌈↩aa×1=no # Prevent assignment to 𝕨 if it's · nf←H ac