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 | |
| parent | a6f6d3d3c6cdc4bcc73e323b57e6c893594bb180 (diff) | |
Fix bug in nothingness tracking
| -rw-r--r-- | src/c.bqn | 2 | ||||
| -rw-r--r-- | test/cases/syntax.bqn | 1 |
2 files changed, 2 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 diff --git a/test/cases/syntax.bqn b/test/cases/syntax.bqn index 093901e1..99dc24a1 100644 --- a/test/cases/syntax.bqn +++ b/test/cases/syntax.bqn @@ -128,6 +128,7 @@ ! % {𝕨∘↕2}0 ! % {-⟜𝕨2}0 ! % {(𝕎×)3}0 +1 % F←{⟨𝕨⊣1⟩}⋄1{𝕎𝕩}1⋄⊑F 2 # Nesting ! % ( |