From 5932ca86bc4e13f7491cf9db8baa28884696ff4d Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 16 Mar 2004 17:32:05 +0000 Subject: [PATCH] [project @ 2004-03-16 17:32:05 by simonpj] Print slightly more informative types in debug mode --- ghc/compiler/types/TypeRep.lhs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index 5b527a0..0e0f88f 100644 --- a/ghc/compiler/types/TypeRep.lhs +++ b/ghc/compiler/types/TypeRep.lhs @@ -37,7 +37,7 @@ import VarSet ( TyVarSet ) import Name ( Name, NamedThing(..), mkWiredInName ) import OccName ( mkOccFS, tcName ) import BasicTypes ( IPName, tupleParens ) -import TyCon ( TyCon, mkFunTyCon, tyConArity, tupleTyConBoxity, isTupleTyCon ) +import TyCon ( TyCon, mkFunTyCon, tyConArity, tupleTyConBoxity, isTupleTyCon, isRecursiveTyCon ) import Class ( Class ) -- others @@ -356,7 +356,10 @@ ppr_type p (NoteTy (SynNote ty1) ty2) = ppr_type p ty1 ppr_type p (NoteTy other ty2) = ppr_type p ty2 ppr_type p (TyConApp tc tys) = ppr_tc_app p tc tys -ppr_type p (NewTcApp tc tys) = ifPprDebug (ptext SLIT("")) <> +ppr_type p (NewTcApp tc tys) = ifPprDebug (if isRecursiveTyCon tc + then ptext SLIT("") + else ptext SLIT("") + ) <> ppr_tc_app p tc tys ppr_type p (AppTy t1 t2) = maybeParen p TyConPrec $ -- 1.7.10.4