X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FBuildTyCl.lhs;h=75d7234059bf25bf071d05dc44f95e44c6e4775e;hb=22b39e40ba469e0ab46dd248ef5aaf46f8327940;hp=077edb203c555fb045861d206d1e5115d9426540;hpb=2ce87c70529c2a75071161bd3d22b029f003ba36;p=ghc-hetmet.git

diff --git a/compiler/iface/BuildTyCl.lhs b/compiler/iface/BuildTyCl.lhs
index 077edb2..75d7234 100644
--- a/compiler/iface/BuildTyCl.lhs
+++ b/compiler/iface/BuildTyCl.lhs
@@ -1,4 +1,5 @@
 %
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
 
@@ -12,40 +13,24 @@ module BuildTyCl (
 
 #include "HsVersions.h"
 
-import IfaceEnv		( newImplicitBinder )
+import IfaceEnv
 import TcRnMonad
 
-import DataCon		( DataCon, isNullarySrcDataCon, dataConUnivTyVars,
-			  mkDataCon, dataConFieldLabels, dataConInstOrigArgTys,
-                          dataConTyCon )
-import Var		( tyVarKind, TyVar, Id )
-import VarSet		( isEmptyVarSet, intersectVarSet, elemVarSet )
-import TysWiredIn  	( unitTy )
-import BasicTypes	( RecFlag, StrictnessMark(..) )
-import Name		( Name )
-import OccName		( mkDataConWrapperOcc, mkDataConWorkerOcc,
-			  mkClassTyConOcc, mkClassDataConOcc,
-			  mkSuperDictSelOcc, mkNewTyCoOcc, mkInstTyTcOcc,
-			  mkInstTyCoOcc ) 
-import MkId		( mkDataConIds, mkRecordSelId, mkDictSelId )
-import Class		( mkClass, Class( classTyCon), FunDep, DefMeth(..) )
-import TyCon		( mkSynTyCon, mkAlgTyCon, visibleDataCons,
-			  tyConStupidTheta, tyConDataCons, isNewTyCon,
-			  mkClassTyCon, TyCon( tyConTyVars ),
-			  isRecursiveTyCon, tyConArity, AlgTyConRhs(..),
-			  SynTyConRhs(..), newTyConRhs, AlgTyConParent(..) )
-import Type		( mkArrowKinds, liftedTypeKind, typeKind, 
-			  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred,
-			  splitTyConApp_maybe, splitAppTy_maybe,
-			  getTyVar_maybe, 
-			  mkPredTys, mkTyVarTys, ThetaType, Type, Kind,
-			  TyThing(..), 
-			  substTyWith, zipTopTvSubst, substTheta, mkForAllTys,
-                          mkTyConApp, mkTyVarTy )
-import Coercion         ( mkNewTypeCoercion, mkDataInstCoercion )
+import DataCon
+import Var
+import VarSet
+import TysWiredIn
+import BasicTypes
+import Name
+import OccName
+import MkId
+import Class
+import TyCon
+import Type
+import Coercion
 import Outputable
-import List		( nub )
 
+import Data.List
 \end{code}