From 9c2c920ab4720b1c5e2865e4d36e2e2c5e1677c9 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 11 Oct 2021 15:43:55 -0400 Subject: Fix bug in nothingness tracking --- src/c.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/c.bqn b/src/c.bqn index ab734df7..de9b1059 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -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«𝕩=⊑bL)∨𝕩(=⟜(3+⊑)