X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=8f529a4217a5480abb919f2d2b843cc9c191a7bf;hb=8ad973aef4ff86b5a3e2aa6276d9dd8c99732eca;hp=b45778a6fffee6dff763c39d948c5c271d97d9f0;hpb=8d992aa26acc3ea744dcbbc366ab89739e4b6230;p=ghc-hetmet.git

diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs
index b45778a..8f529a4 100644
--- a/compiler/types/FunDeps.lhs
+++ b/compiler/types/FunDeps.lhs
@@ -20,13 +20,15 @@ module FunDeps (
 import Name
 import Var
 import Class
-import TcGadt
 import TcType
+import Unify
 import InstEnv
 import VarSet
 import VarEnv
 import Outputable
 import Util
+import FastString
+
 import Data.Maybe	( isJust )
 \end{code}
 
@@ -146,7 +148,7 @@ See also Note [Ambiguity] in TcSimplify
 \begin{code}
 grow :: [PredType] -> TyVarSet -> TyVarSet
 grow preds fixed_tvs 
-  | null preds = real_fixed_tvs
+  | null preds = fixed_tvs
   | otherwise  = loop real_fixed_tvs
   where
 	-- Add the implicit parameters; 
@@ -197,6 +199,7 @@ type Equation = (TyVarSet, [(Type, Type)])
 -- We usually act on an equation by instantiating the quantified type varaibles
 -- to fresh type variables, and then calling the standard unifier.
 
+pprEquation :: Equation -> SDoc
 pprEquation (qtvs, pairs) 
   = vcat [ptext SLIT("forall") <+> braces (pprWithCommas ppr (varSetElems qtvs)),
 	  nest 2 (vcat [ ppr t1 <+> ptext SLIT(":=:") <+> ppr t2 | (t1,t2) <- pairs])]
@@ -243,7 +246,7 @@ improveOne :: (Class -> [Instance])		-- Gives instances for given class
 						-- combined (for error messages)
 -- Just do improvement triggered by a single, distinguised predicate
 
-improveOne inst_env pred@(IParam ip ty, _) preds
+improveOne _inst_env pred@(IParam ip ty, _) preds
   = [ ((emptyVarSet, [(ty,ty2)]), pred, p2) 
     | p2@(IParam ip2 ty2, _) <- preds
     , ip==ip2
@@ -294,7 +297,7 @@ improveOne inst_env pred@(ClassP cls tys, _) preds
 			<+> ppr (getSrcLoc ispec))
 	]
 
-improveOne inst_env eq_pred preds
+improveOne _ _ _
   = []