X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=4785a49ee2d1bdb717ec1314e9ee1556f5bd07d2;hp=3c23921207adb680755cbf2e408d089b347b4f80;hb=c1681a73fa4ca4cf8758264ae387ac09a9e900d8;hpb=72e37dedee9e8a109ebda4b13e49b7133b530591

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index 3c23921..4785a49 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -13,7 +13,7 @@ module TcRnTypes(
 	IfGblEnv(..), IfLclEnv(..), 
 
 	-- Ranamer types
-	ErrCtxt,
+	ErrCtxt, RecFieldEnv,
 	ImportAvails(..), emptyImportAvails, plusImportAvails, 
 	WhereFrom(..), mkModDeps,
 
@@ -133,7 +133,8 @@ data TcGblEnv
 	tcg_default :: Maybe [Type],	-- Types used for defaulting
 					-- Nothing => no 'default' decl
 
-	tcg_fix_env  :: FixityEnv,	-- Just for things in this module
+	tcg_fix_env   :: FixityEnv,	-- Just for things in this module
+	tcg_field_env :: RecFieldEnv,	-- Just for things in this module
 
 	tcg_type_env :: TypeEnv,	-- Global type env for the module we are compiling now
 		-- All TyCons and Classes (for this module) end up in here right away,
@@ -225,8 +226,17 @@ data TcGblEnv
 	tcg_fords     :: [LForeignDecl Id], -- ...Foreign import & exports
 
 	tcg_doc :: Maybe (HsDoc Name), -- Maybe Haddock documentation
-        tcg_hmi :: HaddockModInfo Name -- Haddock module information
+        tcg_hmi :: HaddockModInfo Name, -- Haddock module information
+        tcg_hpc :: AnyHpcUsage -- True if any part of the prog uses hpc instrumentation.
     }
+
+type RecFieldEnv = NameEnv [Name]	-- Maps a constructor name *in this module*
+					-- to the fields for that constructor
+	-- This is used when dealing with ".." notation in record 
+	-- construction and pattern matching.
+	-- The FieldEnv deals *only* with constructors defined in
+	-- *thie* module.  For imported modules, we get the same info
+	-- from the TypeEnv
 \end{code}
 
 %************************************************************************