X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=30dfc7c5e72f919ee1e6793d9ccf50a4b5d61e14;hp=9d0fb13c54b82e05318fb1a0e76d991dc17a58ce;hb=49c98d143c382a1341e1046f5ca00819a25691ba;hpb=b00b5bc04ff36a551552470060064f0b7d84ca30

diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs
index 9d0fb13..30dfc7c 100644
--- a/compiler/typecheck/TcClassDcl.lhs
+++ b/compiler/typecheck/TcClassDcl.lhs
@@ -1,7 +1,9 @@
 %
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
-\section[TcClassDcl]{Typechecking class declarations}
+
+Typechecking class declarations
 
 \begin{code}
 module TcClassDcl ( tcClassSigs, tcClassDecl2, 
@@ -13,60 +15,47 @@ module TcClassDcl ( tcClassSigs, tcClassDecl2,
 #include "HsVersions.h"
 
 import HsSyn
-import RnHsSyn		( maybeGenericMatch, extractHsTyVars )
-import RnExpr		( rnLExpr )
-import RnEnv		( lookupTopBndrRn, lookupImportedName )
-import Inst		( instToId, newDictBndr, newDictBndrs, newMethod, getOverlapFlag )
-import InstEnv		( mkLocalInstance )
-import TcEnv		( tcLookupLocatedClass, 
-			  tcExtendTyVarEnv, tcExtendIdEnv,
-			  InstInfo(..), pprInstInfoDetails,
-			  simpleInstInfoTyCon, simpleInstInfoTy,
-			  InstBindings(..), newDFunName
-			)
-import TcBinds		( TcPragFun, tcMonoBinds, tcPrags, mkPragFun, TcSigInfo(..), 
-			  TcSigFun, mkTcSigFun )
-import TcHsType		( tcHsKindedType, tcHsSigType )
-import TcSimplify	( tcSimplifyCheck )
-import TcUnify		( checkSigTyVars, sigCtxt )
-import TcMType		( tcSkolSigTyVars )
-import TcType		( Type, SkolemInfo(ClsSkol, InstSkol), UserTypeCtxt( GenPatCtxt ),
-			  TcType, TcThetaType, TcTyVar, mkTyVarTys,
-			  mkClassPred, tcSplitSigmaTy, tcSplitFunTys,
-			  tcIsTyVarTy, tcSplitTyConApp_maybe, tcSplitForAllTys, tcSplitPhiTy,
-			  getClassPredTys_maybe, mkPhiTy, mkTyVarTy
-			)
+import RnHsSyn
+import RnExpr
+import RnEnv
+import Inst
+import InstEnv
+import TcEnv
+import TcBinds
+import TcHsType
+import TcSimplify
+import TcUnify
+import TcMType
+import TcType
 import TcRnMonad
-import Generics		( mkGenericRhs, validGenericInstanceType )
-import PrelInfo		( nO_METHOD_BINDING_ERROR_ID )
-import Class		( classTyVars, classBigSig, 
-			  Class, ClassOpItem, DefMeth (..) )
-import TyCon		( TyCon, tyConName, tyConHasGenerics )
-import Type		( substTyWith )
-import MkId		( mkDefaultMethodId, mkDictFunId )
-import Id		( Id, idType, idName, mkUserLocal )
-import Name		( Name, NamedThing(..) )
-import NameEnv		( NameEnv, lookupNameEnv, mkNameEnv )
-import NameSet		( nameSetToList )
-import OccName		( reportIfUnused, mkDefaultMethodOcc )
-import RdrName		( RdrName, mkDerivedRdrName )
+import Generics
+import PrelInfo
+import Class
+import TyCon
+import Type
+import MkId
+import Id
+import Name
+import NameEnv
+import NameSet
+import OccName
+import RdrName
 import Outputable
-import PrelNames	( genericTyConNames )
+import PrelNames
 import DynFlags
-import ErrUtils		( dumpIfSet_dyn )
-import Util		( count, lengthIs, isSingleton, lengthExceeds )
-import Unique		( Uniquable(..) )
-import ListSetOps	( equivClassesByUniq, minusList	)
-import SrcLoc		( Located(..), srcSpanStart, unLoc, noLoc )
-import Maybes		( seqMaybe, isJust, mapCatMaybes )
-import List		( partition )
-import BasicTypes	( RecFlag(..), Boxity(..) )
+import ErrUtils
+import Util
+import Unique
+import ListSetOps
+import SrcLoc
+import Maybes
+import List
+import BasicTypes
 import Bag
 import FastString
 \end{code}
 
 
-
 Dictionary handling
 ~~~~~~~~~~~~~~~~~~~
 Every class implicitly declares a new data type, corresponding to dictionaries