X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FUnify.lhs;h=0f810da8e5cc06a0f4dd2ecb241dd38009609611;hb=a7bda9e63ce091e4f33b6058a96686d7cde3d40d;hp=9f5b405415f5d0e9235a53f60c8bcb9e9d532861;hpb=c76c69c5b62f1ca4fa52d75b0dfbd37b7eddbb09;p=ghc-hetmet.git

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index 9f5b405..0f810da 100644
--- a/compiler/types/Unify.lhs
+++ b/compiler/types/Unify.lhs
@@ -11,13 +11,10 @@ module Unify (
 import Var		( Var, TyVar, tyVarKind )
 import VarEnv
 import VarSet
-import Type		( typeKind, tyVarsOfType, tyVarsOfTypes, tyVarsOfTheta, mkTyVarTys,
-			  TvSubstEnv, emptyTvSubstEnv, TvSubst(..), substTy, tcEqTypeX,
-			  mkOpenTvSubst, tcView, isSubKind, eqKind, repSplitAppTy_maybe )
-import TypeRep          ( Type(..), PredType(..), funTyCon )
-import DataCon 		( DataCon, dataConResTys )
-import Util		( snocView )
-import ErrUtils		( Message )
+import Type		( typeKind, tyVarsOfType, tyVarsOfTypes, tyVarsOfTheta, 
+			  TvSubstEnv, emptyTvSubstEnv, TvSubst(..), tcEqTypeX,
+			  tcView, isSubKind, repSplitAppTy_maybe )
+import TypeRep          ( Type(..), PredType(..) )
 import Outputable
 import Maybes
 \end{code}