diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-07 15:25:33 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-07 15:25:33 -0400 |
| commit | 39f2d2698e1c10e9fc7090ab955bbaedb57af6d9 (patch) | |
| tree | e71b740196c6b54ccb89c24ded0323bebaeaabaf /src | |
| parent | 45fbea8ed5d5346a6e1437348943421519b1ea3f (diff) | |
Test roles in assignment
Diffstat (limited to 'src')
| -rw-r--r-- | src/c.bqn | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |
