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

Ghci wibble; weaken assert

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 {