From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Sun, 6 Aug 2006 21:26:28 +0000 (+0000)
Subject: Comments and tidy-up
X-Git-Tag: After_FC_branch_merge~144
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=1c64864faf17b32ecaefa37fe8aa8fac5304f830;hp=9b8b019d635218d9b52ddf0f5ea2b168e6f69cf4

Comments and tidy-up
Wed Jul 26 08:22:50 EDT 2006  simonpj@microsoft.com
---

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])