From 1c64864faf17b32ecaefa37fe8aa8fac5304f830 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Sun, 6 Aug 2006 21:26:28 +0000 Subject: [PATCH] Comments and tidy-up Wed Jul 26 08:22:50 EDT 2006 simonpj@microsoft.com --- compiler/types/FunDeps.lhs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs index 0d7eb24..5ece047 100644 --- a/compiler/types/FunDeps.lhs +++ b/compiler/types/FunDeps.lhs @@ -222,7 +222,11 @@ NOTA BENE: improve inst_env preds = [ eqn | group <- equivClassesByUniq (predTyUnique . fst) (filterEqPreds preds), eqn <- checkGroup inst_env group ] - where filterEqPreds = filter (not . isEqPred . fst) + where + filterEqPreds = filter (not . isEqPred . fst) + -- Equality predicates don't have uniques + -- In any case, improvement *generates*, rather than + -- *consumes*, equality constraints ---------- checkGroup :: (Class -> [Instance]) -- 1.7.10.4