From: simonpj@microsoft.com <unknown>
Date: Fri, 11 Aug 2006 11:04:12 +0000 (+0000)
Subject: Go back to calling type veriables t
X-Git-Tag: Before_FC_branch_merge~222
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=db7ce4c95962651ba9db8d00b3b9c886f13c2979

Go back to calling type veriables t
---

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index fe51df1..11ec9d9 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -200,9 +200,13 @@ newMetaTyVar box_info kind
  	; ref <- newMutVar Flexi ;
 	; let name = mkSysTvName uniq fs 
 	      fs = case box_info of
-			BoxTv   -> FSLIT("bx")
+			BoxTv   -> FSLIT("t")
 			TauTv   -> FSLIT("t")
 			SigTv _ -> FSLIT("a")
+		-- We give BoxTv and TauTv the same string, because
+		-- otherwise we get user-visible differences in error
+		-- messages, which are confusing.  If you want to see
+		-- the box_info of each tyvar, use -dppr-debug
 	; return (mkTcTyVar name kind (MetaTv box_info ref)) }
 
 instMetaTyVar :: BoxInfo -> TyVar -> TcM TcTyVar