[let Igor2.RuleDevelopment.Matching.testPat return IM Bool
Helmut Grohne <grohne@cs.uni-bonn.de>**20140724114735
 Ignore-this: c73871cdc84f799e1a443a76bf863449
 
 Formerly it would return IM (Maybe LHS), but element wrapped in the Just
 constructor would always be its last parameter.
] hunk ./src/Igor2/RuleDevelopment/Matching.hs 127
-     cpats  <-  mapM (testPat n cvdIOs (lhs.crul $ cr)) pats
+     cpats  <-  filterM (testPat n cvdIOs (lhs.crul $ cr)) pats
hunk ./src/Igor2/RuleDevelopment/Matching.hs 129
-     return $ map ((,) =<< flip comp (lhs.crul $ cr)) $ catMaybes $  cpats
+     return $ map ((,) =<< flip comp (lhs.crul $ cr)) $ cpats
hunk ./src/Igor2/RuleDevelopment/Matching.hs 134
-testPat :: Name -> [CovrRule] -> LHS -> LHS -> IM (Maybe LHS)
+testPat :: Name -> [CovrRule] -> LHS -> LHS -> IM Bool
hunk ./src/Igor2/RuleDevelopment/Matching.hs 137
-    isok <- liftM and $ mapM ((check rs).crul) cllrs
-    return $ if isok then Just rps else Nothing
+    liftM and $ mapM (check rs . crul) cllrs