Commit b6e680de authored by simonpj's avatar simonpj

[project @ 2005-11-15 17:37:54 by simonpj]

Yet more detail in types with -dppr-debug
parent b36b3d13
......@@ -344,7 +344,8 @@ instance Outputable name => OutputableBndr (IPName name) where
ppr_type :: Prec -> Type -> SDoc
ppr_type p (TyVarTy tv) = ppr tv
ppr_type p (PredTy pred) = braces (ppr pred)
ppr_type p (NoteTy (SynNote ty1) ty2) = ppr_type p ty1
ppr_type p (NoteTy (SynNote ty1) ty2) = ppr_type p ty1
<+> ifPprDebug (braces $ ptext SLIT("Syn:") <+> pprType ty2)
ppr_type p (NoteTy other ty2) = ppr_type p ty2
ppr_type p (TyConApp tc tys) = ppr_tc_app p tc tys
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment