diff options
author | simonpj <unknown> | 2006-01-18 11:13:06 +0000 |
---|---|---|
committer | simonpj <unknown> | 2006-01-18 11:13:06 +0000 |
commit | edf6bdfb5dee21f9bc5077083e5350ee64efffbc (patch) | |
tree | f40826cfae2085af6d360341aad542a7c488a7e8 | |
parent | d5171bf249cd17d7a9e2a8c0396f6f0eb404d28e (diff) | |
download | haskell-edf6bdfb5dee21f9bc5077083e5350ee64efffbc.tar.gz |
[project @ 2006-01-18 11:13:06 by simonpj]
Ghci wibble; weaken assert
-rw-r--r-- | ghc/compiler/typecheck/TcEnv.lhs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ghc/compiler/typecheck/TcEnv.lhs b/ghc/compiler/typecheck/TcEnv.lhs index f14eb4274e..31d81a4bd6 100644 --- 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 +-- 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 - = ASSERT( isExternalName name ) - do { env <- getGblEnv + = do { env <- getGblEnv -- Try local envt ; case lookupNameEnv (tcg_type_env env) name of { |