From 258b7f6e4f3c9a74d6abbc0c6ca472ecf3f6216c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 23 Nov 2021 20:48:58 -0500 Subject: Header comments --- src/c.bqn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/c.bqn b/src/c.bqn index 0ad1a8c9..70e02b11 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -192,11 +192,11 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn "Header left argument without right"_err_(HI) ha>hc+`⊸⊏hx∾0 "Header operation must be a plain name"_err_(HI) hma>hk≠2 ut/˜↩hm - cwh←(2×2=ut)⌈hc/»hl⌈ha×1+he←0≠hk + 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 hl/˜↩hm - hx∨↩1=hr⋄hu←(¬he)⌾(hi⊸⊏)hf - hj←gi⊏˜he/hi⋄hd←2=he/hk + hx∨↩1=hr⋄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 # Block properties ss←0‿3‿5‿6⍋(⊢+(0