From 6f8f947cfc93a136a3b636017072bd3664b87b9e Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 16 Sep 2010 16:59:44 +0000 Subject: [PATCH] Print coercion variables as such (debugging change only) --- compiler/basicTypes/Var.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4