From db7ce4c95962651ba9db8d00b3b9c886f13c2979 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Fri, 11 Aug 2006 11:04:12 +0000
Subject: [PATCH] Go back to calling type veriables t

---
 compiler/typecheck/TcMType.lhs |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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