From: simonpj <unknown>
Date: Wed, 18 Jan 2006 11:13:06 +0000 (+0000)
Subject: [project @ 2006-01-18 11:13:06 by simonpj]
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=edf6bdfb5dee21f9bc5077083e5350ee64efffbc

[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
--- 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 {