diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-11 15:43:55 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-11 15:43:55 -0400 |
| commit | 9c2c920ab4720b1c5e2865e4d36e2e2c5e1677c9 (patch) | |
| tree | c47a416b4d7c462bfa2511ddad65febd7704c762 /src/c.bqn | |
| parent | a6f6d3d3c6cdc4bcc73e323b57e6c893594bb180 (diff) | |
Fix bug in nothingness tracking
Diffstat (limited to 'src/c.bqn')
| -rw-r--r-- | src/c.bqn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -254,7 +254,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn fv←fw⋄fw≥○I1T↩cf # If a body fails on 𝕨, later ones won't see 𝕨 (∨´(1↓fv)⊸<)◶"Invalid use of 𝕨 in monadic case"‿"Unreachable body"_err_(/CB) 1↓fw∧cw=0 cw⌈↩2×fw⋄cw×↩fx - nn←fo+`⊸⊏2=cw⋄no(⊣-=)↩nn⋄ne(⊣-=)↩nn # 2=cw indicates 𝕨 is never Nothing + nn←g⊏fi⊏2=cw⋄no(⊣-=)↩nn⋄ne(⊣-=)↩nn # 2=cw indicates 𝕨 is never Nothing aid←(¯6⊸≤∧<⟜nv)𝕩-vi # Assignable identifer hq←/hp←(g⊏ah)∧𝕩≥nv+vi # Header constant atc←(hg<ps<«aa∧r≥0)<aid∨hp∨(ps>«𝕩=⊑bL)∨𝕩(=⟜(3+⊑)<M)bB |