X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=cbcabe91b1fb3ba2d4116404c71d7f24fa423d4c;hb=601e8739f2af25f946a8a1b4273172b491c5bced;hp=2347d3785436c7b53a84dd4ed8fccc5851d598f1;hpb=2e9952b703341351298739b5d4f869fbdfc8490e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 2347d37..cbcabe9 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -1236,7 +1236,7 @@ tcSimplifyRestricted doc top_lvl bndrs tau_tvs wanteds
         returnM (varSetElems qtvs, binds)
     else
 	let
-    	    (non_ips, bad_ips) = partition isClassDict irreds
+    	    (bad_ips, non_ips) = partition isIPDict irreds
 	in    
 	addTopIPErrs bndrs bad_ips	`thenM_`
 	extendLIEs non_ips		`thenM_`
@@ -1992,9 +1992,6 @@ extractResults (Avails _ avails) wanteds
 	  Just (Rhs rhs ws') -> go (add_given avails w) new_binds irreds (ws' ++ ws)
 			     where
 				new_binds = addBind binds w rhs
-	where
-	  w_span = instSpan w
-	  w_id = instToId w
 
     add_given avails w = extendAvailEnv avails w (Given (instToId w))