X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;h=5fcd47b0e32b4bf1f24b58b67a99e6294b32c19b;hb=ac80e0dececb68ed6385e3b34765fd8f9c019767;hp=f01df31e5ad07cb0a4dd8f12c116b99fd72303cf;hpb=43d5a248f604acf6ad4d743ed7c002580c44aa8f;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcRnTypes.lhs b/ghc/compiler/typecheck/TcRnTypes.lhs
index f01df31..5fcd47b 100644
--- a/ghc/compiler/typecheck/TcRnTypes.lhs
+++ b/ghc/compiler/typecheck/TcRnTypes.lhs
@@ -9,7 +9,7 @@ module TcRnTypes(
 	-- The environment types
 	Env(..), 
 	TcGblEnv(..), TcLclEnv(..), 
-	IfGblEnv(..), IfLclEnv(..),
+	IfGblEnv(..), IfLclEnv(..), 
 
 	-- Ranamer types
 	ErrCtxt,
@@ -232,6 +232,13 @@ data IfLclEnv
 	-- it means M.f = \x -> x, where M is the if_mod
 	if_mod :: Module,
 
+	-- The field is used only for error reporting
+	-- if (say) there's a Lint error in it
+	if_loc :: SDoc,
+		-- Where the interface came from:
+		--	.hi file, or GHCi state, or ext core
+		-- plus which bit is currently being examined
+
 	if_tv_env  :: OccEnv TyVar,	-- Nested tyvar bindings
 	if_id_env  :: OccEnv Id		-- Nested id binding
     }