From edf6bdfb5dee21f9bc5077083e5350ee64efffbc Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 18 Jan 2006 11:13:06 +0000
Subject: [PATCH] [project @ 2006-01-18 11:13:06 by simonpj] Ghci wibble;
 weaken assert

---
 ghc/compiler/typecheck/TcEnv.lhs |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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