aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-10-07 15:25:33 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-10-07 15:25:33 -0400
commit39f2d2698e1c10e9fc7090ab955bbaedb57af6d9 (patch)
treee71b740196c6b54ccb89c24ded0323bebaeaabaf /src
parent45fbea8ed5d5346a6e1437348943421519b1ea3f (diff)
Test roles in assignment
Diffstat (limited to 'src')
-rw-r--r--src/c.bqn1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/c.bqn b/src/c.bqn
index 71477a1d..dec6c1a9 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -140,6 +140,7 @@ Parse ← {r‿nv←𝕨
er⊏˜↩gr⋄ma←(𝕩=1+⊑bG)∧«er≥1⋄er⊏˜↩IT»ps⋄ma>↩tr←er≥1
a←r=¯3⋄ro←(r≥2)∨a<«r=3
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
oa←⌽/op←(«r≥0)∧r≥2