X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FInstEnv.lhs;h=b8e10d5ed37f53823026c1b5be3fa28bc5be281f;hp=d8f549d0be08ed29134da2c28f31e34ee98ac8f0;hb=ab22f4e6456820c1b5169d75f5975a94e61f54ce;hpb=6b4592943b799175dec4549882bbf06fa87a0739

diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs
index d8f549d..b8e10d5 100644
--- a/compiler/types/InstEnv.lhs
+++ b/compiler/types/InstEnv.lhs
@@ -1,4 +1,5 @@
 %
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
 \section[InstEnv]{Utilities for typechecking instance declarations}
@@ -20,27 +21,24 @@ module InstEnv (
 
 #include "HsVersions.h"
 
-import Class		( Class )
-import Var		( Id, TyVar, isTcTyVar )
+import Class
+import Var
 import VarSet
-import Name		( Name, NamedThing(..), getSrcLoc, nameIsLocalOrFrom, nameModule )
-import OccName		( OccName )
-import NameSet		( unionNameSets, unitNameSet, nameSetToList )
-import Type		( TvSubst )
-import TcType		( Type, PredType, tcEqType,
-			  tcSplitDFunTy, tyVarsOfTypes, isExistentialTyVar,
-			  pprThetaArrow, pprClassPred,
-			  tyClsNamesOfType, tcSplitTyConApp_maybe
-			)
-import TyCon		( tyConName )
-import TcGadt		( tcUnifyTys, BindFlag(..) )
-import Unify		( tcMatchTys )
+import Name
+import OccName
+import NameSet
+import Type
+import TcType
+import TyCon
+import TcGadt
+import Unify
 import Outputable
-import BasicTypes	( OverlapFlag(..) )
-import UniqFM		( UniqFM, lookupUFM, emptyUFM, addToUFM_C, eltsUFM )
-import Id		( idType, idName )
-import SrcLoc		( pprDefnLoc )
-import Maybe		( isJust, isNothing )
+import BasicTypes
+import UniqFM
+import Id
+import SrcLoc
+
+import Data.Maybe	( isJust, isNothing )
 \end{code}