[project @ 2003-10-16 10:19:27 by simonpj]

[ghc-hetmet.git] / ghc / compiler / iface / IfaceEnv.lhs

diff --git a/ghc/compiler/iface/IfaceEnv.lhs b/ghc/compiler/iface/IfaceEnv.lhs
index 4916653..60c2ecb 100644 (file)
--- a/ghc/compiler/iface/IfaceEnv.lhs
+++ b/ghc/compiler/iface/IfaceEnv.lhs
@@ -279,7 +279,8 @@ tcIfaceGlobal name
            Just thing -> return thing ;
            Nothing    -> 
 
-       setLclEnv () $ do
+       setLclEnv () $ do       -- This gets us back to IfG, mainly to 
+                               -- pacify get_type_env; rather untidy
        { env <- getGblEnv
        ; case if_rec_types env of
            Just (mod, get_type_env) 
@@ -295,7 +296,7 @@ tcIfaceGlobal name
     }}}
 
 tcIfaceTyCon :: IfaceTyCon -> IfL TyCon
-tcIfaceTyCon IfaceIntTc = return intTyCon
+tcIfaceTyCon IfaceIntTc  = return intTyCon
 tcIfaceTyCon IfaceBoolTc = return boolTyCon
 tcIfaceTyCon IfaceCharTc = return charTyCon
 tcIfaceTyCon IfaceListTc = return listTyCon
@@ -361,24 +362,6 @@ extendIfaceTyVarEnv tyvars thing_inside
 %*                                                                     *
 %************************************************************************
 
-IfaceDecls etc are populated with RdrNames.  The RdrNames may either be
-
-  Orig or Unqual       when the interface is read from a file
-
-  Exact                        when the interface is kept by GHCi, and is now 
-                       being re-linked with the type environment
-
-At an occurrence site, to convert the RdrName to Name:
-  Unqual       look up in LocalRdrEnv
-  Orig         look up in OrigNameCache
-  Exact                return the Name
-
-At a binding site, to bind the RdrName
-  Unqual               we extend the LocalRdrEnv
-  Orig or Unqual       we don't extend the LocalRdrEnv (no need)
-
-First, we deal with the RdrName -> Name mapping
- 
 \begin{code}
 lookupIfaceTc :: IfaceTyCon -> IfL Name
 lookupIfaceTc (IfaceTc ext) = lookupIfaceExt ext