From 3287fb1d88a8322a767e45eaea431dacc05862dc Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 18 Aug 2006 16:05:51 +0000 Subject: [PATCH] Better pretty-printing for TvSubst --- compiler/types/Type.lhs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 872feb0..fdcec30 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -1135,9 +1135,9 @@ zip_ty_env tvs tys env = pprTrace "Var/Type length mismatch: " (ppr instance Outputable TvSubst where ppr (TvSubst ins env) - = sep[ ptext SLIT(" ppr ins), - nest 2 (ptext SLIT("Env:") <+> ppr env) ] + = brackets $ sep[ ptext SLIT("TvSubst"), + nest 2 (ptext SLIT("In scope:") <+> ppr ins), + nest 2 (ptext SLIT("Env:") <+> ppr env) ] \end{code} %************************************************************************ -- 1.7.10.4