diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-08-20 11:44:40 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-08-20 11:44:49 -0400 |
| commit | 25f15d63d7f0f25707e32bfad28e233f433bb551 (patch) | |
| tree | 07e12c510387e95e1f9ff456cb133a807c912892 /src | |
| parent | 68cd7933fa693f67f98f13f6b66d0e619da49ffe (diff) | |
Fix double-header check when there's stranding
Diffstat (limited to 'src')
| -rw-r--r-- | src/c.bqn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -183,7 +183,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn ut←un/»us⋄hi/˜↩0=us # Undo type: 0 normal, 1 ⁼, 2 ˜⁼ hr←(⊏⟜ns×⊏⟜r)rev⊏˜hi # Header component roles 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 + "Only one header per body allowed"_err_(hc/HI) (g⊏˜1+gi⊏˜hc/hi)⊏hf ho←(»∨·«(hr=3)∧⊢)hl<hy←2≤hr # Header operands "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 |