From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Thu, 6 Sep 2007 09:51:02 +0000 (+0000)
Subject: Remove EqInsts from addSCs to avoid -DDEBUG warnings
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=1e5de096a2eb4b8ebf3fb0659f13d7ef346fb7cb

Remove EqInsts from addSCs to avoid -DDEBUG warnings
---

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 5f357d0..f2ad101 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -2464,7 +2464,8 @@ addSCs is_loop avails dict
   where
     (clas, tys) = getDictClassTys dict
     (tyvars, sc_theta, sc_sels, _) = classBigSig clas
-    sc_theta' = substTheta (zipTopTvSubst tyvars tys) sc_theta
+    sc_theta' = filter (not . isEqPred) $
+                  substTheta (zipTopTvSubst tyvars tys) sc_theta
 
     add_sc avails (sc_dict, sc_sel)
       | is_loop (dictPred sc_dict) = return avails 	-- See Note [SUPERCLASS-LOOP 2]