X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=fdcec308414322a62dc16a6dd12f52ae2c783d76;hb=f94350a049d2a1c2b2f1aa25c62dfe20a541c049;hp=872feb06f55763bbc15254171cdb7ad53898243b;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git 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} %************************************************************************