diff options
| -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 ! % ( |
