@@ -78,7 +78,7 @@ genClauses fc n xs given
78 let xs' = filter (\t -> case matchClause i x t of
78 let xs' = filter (\t -> case matchClause i x t of
79 Right _ -> False
79 Right _ -> False
80 Left _ -> True) xs in
80 Left _ -> True) xs in
81− x : mnub i xs
81+ x : mnub i xs'
83-- if (any (\t -> case matchClause i x t of
83-- if (any (\t -> case matchClause i x t of
84-- Right _ -> True
84-- Right _ -> True