diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-22 21:47:49 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-22 21:47:49 -0500 |
| commit | 84862c68d7ae94ada5df1e73e2583ed40245fd93 (patch) | |
| tree | 77596b525a139dbed7324dcb9d99b0d6f762cde3 | |
| parent | 3100d6b64d886b138ce3866df561057651371818 (diff) | |
Reject _𝕣_⁼ in headers
| -rw-r--r-- | src/c.bqn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
