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

diff --git a/compiler/coreSyn/PprCore.lhs b/compiler/coreSyn/PprCore.lhs
index 864f4bd..c834abb 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
@@ -319,7 +324,7 @@ pprIdBndrInfo info
 
     doc | no_info = empty
  	| otherwise
-        = brackets $ hcat [ppr prag_info, ppr occ_info, 
+        = brackets $ hsep [ppr prag_info, ppr occ_info, 
 			   ppr dmd_info, ppr lbv_info
 #ifdef OLD_STRICTNESS
 			   , ppr (demandInfo id)