Commit edf6bdfb authored by simonpj's avatar simonpj

[project @ 2006-01-18 11:13:06 by simonpj]

Ghci wibble; weaken assert
parent d5171bf2
......@@ -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 {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment