From 1e5de096a2eb4b8ebf3fb0659f13d7ef346fb7cb Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Thu, 6 Sep 2007 09:51:02 +0000 Subject: [PATCH] Remove EqInsts from addSCs to avoid -DDEBUG warnings --- compiler/typecheck/TcSimplify.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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] -- 1.7.10.4