From: simonpj@microsoft.com <unknown>
Date: Thu, 16 Sep 2010 16:59:44 +0000 (+0000)
Subject: Print coercion variables as such (debugging change only)
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=6f8f947cfc93a136a3b636017072bd3664b87b9e;hp=2e5f521ad4b18128d55fdc1076237e9ee04e790b;p=ghc-hetmet.git

Print coercion variables as such (debugging change only)
---

diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs
index a0fa921..010fb1e 100644
--- a/compiler/basicTypes/Var.lhs
+++ b/compiler/basicTypes/Var.lhs
@@ -181,7 +181,8 @@ instance Outputable Var where
   ppr var = ppr (varName var) <+> ifPprDebug (brackets (ppr_debug var))
 
 ppr_debug :: Var -> SDoc
-ppr_debug (TyVar {})                          = ptext (sLit "tv")
+ppr_debug (TyVar { isCoercionVar = False })   = ptext (sLit "tv")
+ppr_debug (TyVar { isCoercionVar = True })    = ptext (sLit "co")
 ppr_debug (TcTyVar {tc_tv_details = d})       = pprTcTyVarDetails d
 ppr_debug (Id { idScope = s, id_details = d }) = ppr_id_scope s <> pprIdDetails d