projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2006-01-18 11:13:06 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcEnv.lhs
diff --git
a/ghc/compiler/typecheck/TcEnv.lhs
b/ghc/compiler/typecheck/TcEnv.lhs
index
f14eb42
..
31d81a4
100644
(file)
--- a/
ghc/compiler/typecheck/TcEnv.lhs
+++ b/
ghc/compiler/typecheck/TcEnv.lhs
@@
-93,9
+93,11
@@
tcLookupLocatedGlobal name
= addLocM tcLookupGlobal name
tcLookupGlobal :: Name -> TcM TyThing
= addLocM tcLookupGlobal name
tcLookupGlobal :: Name -> TcM TyThing
+-- The Name is almost always an ExternalName, but not always
+-- In GHCi, we may make command-line bindings (ghci> let x = True)
+-- that bind a GlobalId, but with an InternalName
tcLookupGlobal name
tcLookupGlobal name
- = ASSERT( isExternalName name )
- do { env <- getGblEnv
+ = do { env <- getGblEnv
-- Try local envt
; case lookupNameEnv (tcg_type_env env) name of {
-- Try local envt
; case lookupNameEnv (tcg_type_env env) name of {