From d4291d5b51620465edbd02b33dd683b26e345525 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 7 Oct 2020 15:53:01 -0400 Subject: No need to reject assignment target in trains since that's done by role later --- 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 acf69214..4e778597 100644 --- a/src/c.bqn +++ b/src/c.bqn @@ -141,7 +141,7 @@ Parse ← {r‿nv←𝕨 os←⌽↕∘≠⊸(⊣-T)⌽¬ro∨ma⋄at←1+⊏⟜os⊸+/a "Role of the two sides in assignment must match" ! (⊏⟜er≡⊏⟜r)at r(×⟜¬-⊢)↩aa←g⊏asn←»+`gi⊏«⊸-(≠𝕩)↑/⁼at - ta←tr>(a≤○I1T ps)∧(⊢∧2(|<≤)ps(⊢-T)+`)¬ro + ta←tr>(⊢∧2(|<≤)ps(⊢-T)+`)¬ro oa←⌽/op←(«r≥0)∧r≥2 fa←/(ta∨(ro∧«op)∨«aa)<(r=1)∨<⟜»op dy←fa⊏«(𝕩≠⊑bO)∧(tr∧r≥0)∨ro