ppr_expr add_par (Case expr var ty [(con,args,rhs)])
= add_par $
- sep [sep [ptext SLIT("case") {- <+> pprParendType ty -} <+> pprCoreExpr expr,
- -- Printing the result type is excessive!
+ sep [sep [ptext SLIT("case") <+> pprCoreExpr expr,
+ ifPprDebug (braces (ppr ty)),
hsep [ptext SLIT("of"),
ppr_bndr var,
char '{',
ppr_expr add_par (Case expr var ty alts)
= add_par $
- sep [sep [ptext SLIT("case") {- <+> pprParendType ty -} <+> pprCoreExpr expr,
+ sep [sep [ptext SLIT("case")
+ <+> pprCoreExpr expr
+ <+> ifPprDebug (braces (ppr ty)),
ptext SLIT("of") <+> ppr_bndr var <+> char '{'],
nest 2 (sep (punctuate semi (map pprCoreAlt alts))),
char '}'