diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-29 09:20:02 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-29 09:20:08 -0400 |
| commit | a18eadf8df214b52ebb90c9bbbc433a3ad7c6ced (patch) | |
| tree | 1e2d58bf4c8d8ef76943848d92388681a1e80765 /src/c.bqn | |
| parent | 3538d173a22f5e3236f97b8c4b9eb0192403ee2c (diff) | |
Fix error location crash for ˜⁼ header missing 𝕨
Diffstat (limited to 'src/c.bqn')
| -rw-r--r-- | src/c.bqn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -200,7 +200,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn ut/˜↩hm⋄hx∨↩1=hr "Header with ⁼ must take arguments"_err_(hm/HI) hx<×ut cwh←hc/»hl⌈ha×1+he←0≠hk # Body 𝕨 for just headers - "Header with ˜⁼ must have left argument"_err_(HI) (0=cwh)∧ut2←2=ut + "Header with ˜⁼ must have left argument"_err_(hm/HI) (0=cwh)∧ut2←2=ut cw←(cwh⌈2×ut2)⌾(ch⊸/)1+-⟜«(»cq)<1(⊢<«)cf # Body 𝕨: 0 no, 1 allowed, 2 required hl/˜↩hm⋄hu←(¬he)⌾(hi⊸⊏)hf # hu: mask of header special names hj←gi⊏˜he/hi⋄hd←2=he/hk # hj: header assignments; hd: which ones destructure |