X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcModule.lhs;h=382984fc8d02218452357949441b90397c7ad8c5;hb=1bba522f5ec82c43abd2ba4e84127b9c915dd020;hp=03e4c4675c63dd3e1d0ea861fa3c6ce52f4e9019;hpb=a8e1967fbb90eae923042827cef98a98d66d18e7;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcModule.lhs b/ghc/compiler/typecheck/TcModule.lhs
index 03e4c46..382984f 100644
--- a/ghc/compiler/typecheck/TcModule.lhs
+++ b/ghc/compiler/typecheck/TcModule.lhs
@@ -15,20 +15,19 @@ import CmdLineOpts	( opt_D_dump_tc, opt_D_dump_types, opt_PprStyle_Debug )
 import HsSyn		( HsModule(..), HsBinds(..), MonoBinds(..), HsDecl(..) )
 import HsTypes		( toHsType )
 import RnHsSyn		( RenamedHsModule )
-import TcHsSyn		( TcMonoBinds, TypecheckedMonoBinds, 
+import TcHsSyn		( TypecheckedMonoBinds, 
 			  TypecheckedForeignDecl, TypecheckedRuleDecl,
 			  zonkTopBinds, zonkForeignExports, zonkRules
 			)
 
 import TcMonad
-import Inst		( Inst, emptyLIE, plusLIE )
+import Inst		( emptyLIE, plusLIE )
 import TcBinds		( tcTopBindsAndThen )
 import TcClassDcl	( tcClassDecls2, mkImplicitClassBinds )
 import TcDefaults	( tcDefaults )
-import TcEnv		( tcExtendGlobalValEnv, tcExtendTypeEnv,
+import TcEnv		( tcExtendGlobalValEnv, 
 			  getEnvTyCons, getEnvClasses, tcLookupValueByKeyMaybe,
-			  tcSetValueEnv, tcSetInstEnv,
-			  initEnv, 
+			  tcSetValueEnv, tcSetInstEnv, initEnv, 
 			  ValueEnv, 
 			)
 import TcRules		( tcRules )
@@ -39,21 +38,20 @@ import TcInstUtil	( buildInstanceEnv, InstInfo )
 import TcSimplify	( tcSimplifyTop )
 import TcTyClsDecls	( tcTyAndClassDecls )
 import TcTyDecls	( mkImplicitDataBinds )
-import TcType		( TcType, TcKind )
 
 import RnMonad		( RnNameSupply, FixityEnv )
 import Bag		( isEmptyBag )
-import ErrUtils		( Message, printErrorsAndWarnings, dumpIfSet )
-import Id		( Id, idType, idName )
+import ErrUtils		( printErrorsAndWarnings, dumpIfSet )
+import Id		( idType, idName )
 import Module           ( pprModuleName, mkThisModule )
-import Name		( Name, nameUnique, nameOccName, isLocallyDefined, isGlobalName,
-			  toRdrName, nameEnvElts, NamedThing(..)
+import Name		( nameOccName, isLocallyDefined, isGlobalName,
+			  toRdrName, nameEnvElts, 
 			)
 import OccName		( isSysOcc )
-import TyCon		( TyCon, tyConKind, tyConClass_maybe )
-import Class		( Class, classSelIds, classTyCon )
+import TyCon		( TyCon, tyConClass_maybe )
+import Class		( Class )
 import PrelInfo		( mAIN_Name )
-import Unique		( Unique, mainKey )
+import Unique		( mainKey )
 import UniqSupply       ( UniqSupply )
 import Maybes		( maybeToBool )
 import Util