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

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index 9f5b405..9d94a63 100644
--- a/compiler/types/Unify.lhs
+++ b/compiler/types/Unify.lhs
@@ -1,3 +1,7 @@
+%
+% (c) The University of Glasgow 2006
+%
+
 \begin{code}
 module Unify ( 
 	-- Matching of types: 
@@ -8,16 +12,11 @@ module Unify (
 
 #include "HsVersions.h"
 
-import Var		( Var, TyVar, tyVarKind )
+import Var
 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
+import TypeRep
 import Outputable
 import Maybes
 \end{code}