@@ -60,7 +60,7 @@ genClauses fc n xs given
6060 _ -> repeat (pexp Placeholder)
6161 let tryclauses = mkClauses parg all_args
6262 logLvl 2 $ show (length tryclauses) ++ " initially to check"
63− let new = mnub i $ filter (noMatch i) tryclauses
63+ let new = filter (noMatch i) (mnub i tryclauses)
6464 logLvl 1 $ show (length new) ++ " clauses to check for impossibility"
6565 logLvl 5 $ "New clauses: \n" ++ showSep "\n" (map (showImp True) new)
6666-- ++ " from:\n" ++ showSep "\n" (map (showImp True) tryclauses)
@@ -75,10 +75,15 @@ genClauses fc n xs given
7575
7676 mnub i [] = []
7777 mnub i (x : xs) =
78− if (any (\t -> case matchClause i x t of
79− Right _ -> True
80− Left _ -> False) xs) then mnub i xs
81− else x : mnub i xs
78+ let xs' = filter (\t -> case matchClause i x t of
79+ Right _ -> False
80+ Left _ -> True) xs in
81+ x : mnub i xs
82+
83+-- if (any (\t -> case matchClause i x t of
84+-- Right _ -> True
85+-- Left _ -> False) xs) then mnub i xs
86+-- else x : mnub i xs
8287
8388 noMatch i tm = all (\x -> case matchClause i (delab' i x True) tm of
8489 Right _ -> False