X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypecheck%2FTcRnMonad.lhs;h=e6d75e3a6509740f84e327d0e4926cbaac9a4818;hb=49c98d143c382a1341e1046f5ca00819a25691ba;hp=12f0cf6d320b495efdc809cd4fdcf34c69592d8e;hpb=2a8cdc3aee5997374273e27365f92c161aca8453;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs
index 12f0cf6..e6d75e3 100644
--- a/compiler/typecheck/TcRnMonad.lhs
+++ b/compiler/typecheck/TcRnMonad.lhs
@@ -1,3 +1,7 @@
+%
+% (c) The University of Glasgow 2006
+%
+
 \begin{code}
 module TcRnMonad(
 	module TcRnMonad,
@@ -11,58 +15,48 @@ import TcRnTypes	-- Re-export all
 import IOEnv		-- Re-export all
 
 #if defined(GHCI) && defined(BREAKPOINT)
-import TypeRep          ( Type(..), liftedTypeKind )
-import Var              ( mkTyVar, mkGlobalId )
-import IdInfo           ( GlobalIdDetails(..), vanillaIdInfo )
-import OccName          ( mkOccName, tvName )
-import SrcLoc           ( noSrcLoc  )
-import TysWiredIn       ( intTy, stringTy, mkListTy, unitTy, boolTy )
-import PrelNames        ( breakpointJumpName, breakpointCondJumpName )
-import NameEnv          ( mkNameEnv )
-import TcEnv            ( tcExtendIdEnv )
+import TypeRep
+import Var
+import IdInfo
+import OccName
+import SrcLoc
+import TysWiredIn
+import PrelNames
+import NameEnv
+import TcEnv
 #endif
 
-import HsSyn		( emptyLHsBinds, HaddockModInfo(..) )
-import HscTypes		( HscEnv(..), ModGuts(..), ModIface(..),
-			  TypeEnv, emptyTypeEnv, HscSource(..), isHsBoot,
-			  ExternalPackageState(..), HomePackageTable,
-			  Deprecs(..), FixityEnv, FixItem, 
-			  mkPrintUnqualified )
-import Module		( Module, moduleName )
-import RdrName		( GlobalRdrEnv, LocalRdrEnv, emptyLocalRdrEnv )
-import Name		( Name, mkInternalName, tidyNameOcc, nameOccName, getSrcLoc )
-import Type		( Type )
-import TcType		( TcType, tcIsTyVarTy, tcGetTyVar )
-import NameEnv		( extendNameEnvList, nameEnvElts )
-import InstEnv		( emptyInstEnv )
-import FamInstEnv	( emptyFamInstEnv )
-
-import Var		( setTyVarName )
-import Id		( mkSysLocal )
-import VarSet		( emptyVarSet )
-import VarEnv		( TidyEnv, emptyTidyEnv, extendVarEnv )
-import ErrUtils		( Message, Messages, emptyMessages, errorsFound, 
-			  mkWarnMsg, printErrorsAndWarnings,
-			  mkLocMessage, mkLongErrMsg )
-import SrcLoc		( mkGeneralSrcSpan, isGoodSrcSpan, SrcSpan, Located(..) )
-import NameEnv		( emptyNameEnv )
-import NameSet		( NameSet, emptyDUs, emptyNameSet, unionNameSets, addOneToNameSet )
-import OccName		( emptyOccEnv, tidyOccName )
-import Bag		( emptyBag )
+import HsSyn hiding (LIE)
+import HscTypes
+import Module
+import RdrName
+import Name
+import TcType
+import InstEnv
+import FamInstEnv
+
+import Var
+import Id
+import VarSet
+import VarEnv
+import ErrUtils
+import SrcLoc
+import NameEnv
+import NameSet
+import OccName
+import Bag
 import Outputable
-import UniqSupply	( UniqSupply, mkSplitUniqSupply, uniqFromSupply, uniqsFromSupply, splitUniqSupply )
-import UniqFM		( unitUFM )
-import Unique		( Unique )
-import DynFlags		( DynFlags(..), DynFlag(..), dopt, dopt_set,
-			  dopt_unset, GhcMode ) 
-import StaticFlags	( opt_PprStyle_Debug )
-import FastString	( FastString )
-import Bag		( snocBag, unionBags )
-import Panic		( showException )
+import UniqSupply
+import UniqFM
+import Unique
+import DynFlags
+import StaticFlags
+import FastString
+import Panic
  
-import IO		( stderr )
-import DATA_IOREF	( newIORef, readIORef )
-import EXCEPTION	( Exception )
+import System.IO
+import Data.IORef
+import Control.Exception
 \end{code}
 
 
@@ -108,7 +102,7 @@ initTc hsc_env hsc_src mod do_this
 		tcg_fam_inst_env  = emptyFamInstEnv,
 		tcg_inst_uses = dfuns_var,
 		tcg_th_used   = th_var,
-		tcg_exports  = emptyNameSet,
+		tcg_exports  = [],
 		tcg_imports  = init_imports,
 		tcg_dus      = emptyDUs,
                 tcg_rn_imports = Nothing,
@@ -156,8 +150,7 @@ initTc hsc_env hsc_src mod do_this
 	return (msgs, final_res)
     }
   where
-    init_imports = emptyImportAvails {imp_env = 
-					unitUFM (moduleName mod) emptyNameSet}
+    init_imports = emptyImportAvails {imp_env = unitUFM (moduleName mod) []}
 	-- Initialise tcg_imports with an empty set of bindings for
 	-- this module, so that if we see 'module M' in the export
 	-- list, and there are no bindings in M, we don't bleat