From: simonpj@microsoft.com <unknown>
Date: Fri, 18 Aug 2006 16:05:51 +0000 (+0000)
Subject: Better pretty-printing for TvSubst
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=3287fb1d88a8322a767e45eaea431dacc05862dc

Better pretty-printing for TvSubst
---

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("<TvSubst"),
-	   nest 2 (ptext SLIT("In scope:") <+> 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}
 
 %************************************************************************