[project @ 2000-10-24 07:35:00 by simonpj]

[ghc-hetmet.git] / ghc / compiler / main / HscTypes.lhs

diff --git a/ghc/compiler/main/HscTypes.lhs b/ghc/compiler/main/HscTypes.lhs
index a5d5816..ee3c9e2 100644 (file)
--- a/ghc/compiler/main/HscTypes.lhs
+++ b/ghc/compiler/main/HscTypes.lhs
@@ -11,7 +11,9 @@ module HscTypes (
        HomeSymbolTable, PackageSymbolTable,
        HomeIfaceTable, PackageIfaceTable,
 
-       VersionInfo(..),
+       IfaceDecls(..), 
+
+       VersionInfo(..), initialVersionInfo,
 
        TyThing(..), groupTyThings,
 
@@ -50,16 +52,16 @@ import OccName              ( OccName )
 import Module          ( Module, ModuleName, ModuleEnv,
                          lookupModuleEnv )
 import VarSet          ( TyVarSet )
-import VarEnv          ( IdEnv, emptyVarEnv )
+import VarEnv          ( emptyVarEnv )
 import Id              ( Id )
 import Class           ( Class )
 import TyCon           ( TyCon )
 
-import BasicTypes      ( Version, Fixity )
+import BasicTypes      ( Version, initialVersion, Fixity )
 
 import HsSyn           ( DeprecTxt )
 import RdrHsSyn                ( RdrNameHsDecl )
-import RnHsSyn         ( RenamedHsDecl )
+import RnHsSyn         ( RenamedTyClDecl, RenamedIfaceSig, RenamedRuleDecl, RenamedInstDecl )
 
 import CoreSyn         ( CoreRule )
 import Type            ( Type )
@@ -116,9 +118,10 @@ data ModIface
         mi_version  :: VersionInfo,            -- Module version number
         mi_orphan   :: WhetherHasOrphans,       -- Whether this module has orphans
 
-        mi_usages   :: [ImportVersion Name],   -- Usages
+        mi_usages   :: [ImportVersion Name],   -- Usages; kept sorted
 
-        mi_exports  :: Avails,                 -- What it exports; kept sorted by (mod,occ),
+        mi_exports  :: Avails,                 -- What it exports
+                                               -- Kept sorted by (mod,occ),
                                                -- to make version comparisons easier
 
         mi_globals  :: GlobalRdrEnv,           -- Its top level environment
@@ -126,10 +129,14 @@ data ModIface
         mi_fixities :: NameEnv Fixity,         -- Fixities
        mi_deprecs  :: Deprecations,            -- Deprecations
 
-       mi_decls    :: [RenamedHsDecl]          -- types, classes 
-                                               -- inst decls, rules, iface sigs
+       mi_decls    :: IfaceDecls               -- The RnDecls form of ModDetails
      }
 
+data IfaceDecls = IfaceDecls { dcl_tycl  :: [RenamedTyClDecl], -- Sorted
+                              dcl_sigs  :: [RenamedIfaceSig],  -- Sorted
+                              dcl_rules :: [RenamedRuleDecl],  -- Sorted
+                              dcl_insts :: [RenamedInstDecl] } -- Unsorted
+
 -- typechecker should only look at this, not ModIface
 -- Should be able to construct ModDetails from mi_decls in ModIface
 data ModDetails
@@ -263,6 +270,12 @@ data VersionInfo
                -- the parent class/tycon changes
     }
 
+initialVersionInfo :: VersionInfo
+initialVersionInfo = VersionInfo { vers_module  = initialVersion,
+                                  vers_exports = initialVersion,
+                                  vers_rules   = initialVersion,
+                                  vers_decls   = emptyNameEnv }
+
 data Deprecations = NoDeprecs
                  | DeprecAll DeprecTxt                 -- Whole module deprecated
                  | DeprecSome (NameEnv DeprecTxt)      -- Some things deprecated