diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-24 21:19:38 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-24 21:20:15 -0500 |
| commit | 9a35ffd773718641f6aa7f2137012e58002606ef (patch) | |
| tree | 44a57e97cd9c429e1a31d3a41079ce5d56efd11c /src/c.bqn | |
| parent | 4f6b5d32dc27c2106bde65a94716798ec47ded88 (diff) | |
Reject ˜⁼ header without left argument
Diffstat (limited to 'src/c.bqn')
| -rw-r--r-- | src/c.bqn | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -191,6 +191,7 @@ 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 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 |