X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=inline;f=ghc%2Fcompiler%2Ftypecheck%2FTcImprove.lhs;h=6c7c51c785288b9e6bd234fa6a902fffca834841;hb=4166dff80e8ec94022a040318ff2759913fbbe06;hp=76e3064caba22a0c514c234f32ff56a8bc8cebc1;hpb=1bba522f5ec82c43abd2ba4e84127b9c915dd020;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcImprove.lhs b/ghc/compiler/typecheck/TcImprove.lhs
index 76e3064..6c7c51c 100644
--- a/ghc/compiler/typecheck/TcImprove.lhs
+++ b/ghc/compiler/typecheck/TcImprove.lhs
@@ -7,7 +7,8 @@ import Name		( Name )
 import Class		( Class, FunDep, className )
 import Unify		( unifyTyListsX )
 import Subst		( mkSubst, emptyInScopeSet, substTy )
-import TcEnv		( tcGetInstEnv, classInstEnv )
+import TcEnv		( tcGetInstEnv )
+import InstEnv	( classInstEnv )
 import TcMonad
 import TcType		( TcType, TcTyVarSet, zonkTcType )
 import TcUnify		( unifyTauTyLists )
@@ -18,7 +19,7 @@ import List		( nub )
 \end{code}
 
 \begin{code}
-tcImprove :: LIE -> TcM s ()
+tcImprove :: LIE -> TcM ()
 -- Do unifications based on functional dependencies in the LIE
 tcImprove lie 
   = tcGetInstEnv 	`thenNF_Tc` \ inst_env ->
@@ -57,7 +58,7 @@ tcImprove lie
     iterImprove nfdss
 
 
-iterImprove :: [(VarSet, Name, [FunDep TcType])] -> TcM s ()
+iterImprove :: [(VarSet, Name, [FunDep TcType])] -> TcM ()
 iterImprove [] = returnTc ()
 iterImprove cfdss
   = selfImprove pairImprove cfdss	`thenTc` \ change2 ->