projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2005-01-18 12:18:11 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcRnTypes.lhs
diff --git
a/ghc/compiler/typecheck/TcRnTypes.lhs
b/ghc/compiler/typecheck/TcRnTypes.lhs
index
f01df31
..
5fcd47b
100644
(file)
--- a/
ghc/compiler/typecheck/TcRnTypes.lhs
+++ b/
ghc/compiler/typecheck/TcRnTypes.lhs
@@
-9,7
+9,7
@@
module TcRnTypes(
-- The environment types
Env(..),
TcGblEnv(..), TcLclEnv(..),
-- The environment types
Env(..),
TcGblEnv(..), TcLclEnv(..),
- IfGblEnv(..), IfLclEnv(..),
+ IfGblEnv(..), IfLclEnv(..),
-- Ranamer types
ErrCtxt,
-- Ranamer types
ErrCtxt,
@@
-232,6
+232,13
@@
data IfLclEnv
-- it means M.f = \x -> x, where M is the if_mod
if_mod :: Module,
-- 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
}
if_tv_env :: OccEnv TyVar, -- Nested tyvar bindings
if_id_env :: OccEnv Id -- Nested id binding
}