X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=5ece0471884ec94b704736a60133a1328c7ce17f;hb=4c6584511f12354e0c8adaa8923be5f58471e68a;hp=0d7eb24325a20892432dbb84d103b0c8246474bd;hpb=df540a334232b9f2da702e48e1ebaf4b289997bc;p=ghc-hetmet.git

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