summaryrefslogtreecommitdiff
path: root/src/Grasp
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2014-12-16 18:25:18 +1100
committerJed Barber <jjbarber@y7mail.com>2014-12-16 18:25:18 +1100
commit92b5c479a964af8ee4ec50bba9ba8364e06156e9 (patch)
tree5c5d46de698c38dfff29b30568a51027a3ac8623 /src/Grasp
parent2909ad4b7b96a93d04c01135683d4dee6356def2 (diff)
Bugfixes to monad construction checks
Diffstat (limited to 'src/Grasp')
-rw-r--r--src/Grasp/Monad.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Grasp/Monad.hs b/src/Grasp/Monad.hs
index 0bab4c8..e35cc34 100644
--- a/src/Grasp/Monad.hs
+++ b/src/Grasp/Monad.hs
@@ -133,7 +133,7 @@ getNamedNodes ns es = map fst (nameNodeList ns es)
multiNodes :: [GNode] -> Bool
-multiNodes ns = (ns == (List.nubBy (\x y -> GN.toNode x == GN.toNode y) ns))
+multiNodes ns = (ns /= (List.nubBy (\x y -> GN.toNode x == GN.toNode y) ns))
@@ -148,7 +148,7 @@ unconnected ns es =
multiNames :: [GNode] -> [GEdge] -> Bool
multiNames ns es =
let named = map fst (nameNodeList ns es)
- in named == (List.nub named)
+ in named /= (List.nub named)
@@ -163,7 +163,7 @@ noMain :: [GNode] -> [GEdge] -> Bool
noMain ns es =
let names = map snd (nameNodeList ns es)
mains = filter ((== (IN.mk "grasp:main")) . GN.toInst) names
- in length mains /= 0
+ in length mains == 0