Bugfixes to monad construction checks

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