aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-11-22 21:47:49 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-11-22 21:47:49 -0500
commit84862c68d7ae94ada5df1e73e2583ed40245fd93 (patch)
tree77596b525a139dbed7324dcb9d99b0d6f762cde3
parent3100d6b64d886b138ce3866df561057651371818 (diff)
Reject _𝕣_⁼ in headers
-rw-r--r--src/c.bqn2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c.bqn b/src/c.bqn
index a98fb01e..eba491fa 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -178,7 +178,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
hl←2=hn←(1⊸»+«)hc←¯1=hr # hl: is label, hc: is :
"Only one header per body allowed"_err_(hc/HI) (1+hc/hi)⊏hf
ho←(»∨·«(hr=3)∧⊢)hl<hy←2≤hr # Header operands
- "Missing operand in header"_err_(HI) ho∧hc∨hy
+ "Missing operand in header"_err_(HI) (ut∧hr=3)∨ho∧hc∨hy
hm←¬ho∨ha←ho<(0=hr)∧1=hn # Mask for main name; header arguments
"Invalid header structure"_err_(hm/HI) 1⊸»⊸=hm/hc
hk←3|1-˜(+`bI∾nv)⍋ht←hi⊏𝕩׬rev⊏sr # Kind: 0 special, 1 name, 2 compound