X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FPprCore.lhs;h=38aff85b3a17acb111b02cbe784a454efa88fec8;hb=4db2c92cedd11b90c6cec46c245b3b618f734d49;hp=864f4bdcb021d2d556a182b1d1115326cff96d67;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/coreSyn/PprCore.lhs b/compiler/coreSyn/PprCore.lhs
index 864f4bd..38aff85 100644
--- a/compiler/coreSyn/PprCore.lhs
+++ b/compiler/coreSyn/PprCore.lhs
@@ -279,8 +279,13 @@ pprCoreBinder LetBind binder
 -- Lambda bound type variables are preceded by "@"
 pprCoreBinder LambdaBind bndr = parens (pprTypedBinder bndr)
 
--- Case bound things don't get a signature or a herald
-pprCoreBinder CaseBind bndr = pprUntypedBinder bndr
+-- Case bound things don't get a signature or a herald, unless we have debug on
+pprCoreBinder CaseBind bndr 
+  = getPprStyle $ \ sty ->
+    if debugStyle sty then
+	parens (pprTypedBinder bndr)
+    else
+	pprUntypedBinder bndr
 
 pprUntypedBinder binder
   | isTyVar binder = ptext SLIT("@") <+> ppr binder	-- NB: don't print kind