diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/c.bqn | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -191,11 +191,11 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn "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 - "Header with ˜⁼ must have left argument"_err_(HI) (hl<2=ut)>«ha ut/˜↩hm⋄hx∨↩1=hr "Header with ⁼ must take arguments"_err_(hm/HI) hx<×ut - cwh←(2×2=ut)⌈hc/»hl⌈ha×1+he←0≠hk # ↓ for just headers - cw←cwh⌾(ch⊸/)1+-⟜«(»cq)<1(⊢<«)cf # Body 𝕨: 0 no, 1 allowed, 2 required + 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 + 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 |