diff --git a/ghc/compiler/coreSyn/PprCore.lhs b/ghc/compiler/coreSyn/PprCore.lhs
index d69b0245770812906ec3e42e726fd578f4560b5b..e822513a6778e3bcf2c1b96eafdfaf67d22a660c 100644
--- a/ghc/compiler/coreSyn/PprCore.lhs
+++ b/ghc/compiler/coreSyn/PprCore.lhs
@@ -423,7 +423,11 @@ Other printing bits-and-bobs used with the general @pprCoreBinding@
 and @pprCoreExpr@ functions.
 
 \begin{code}
-pprBigCoreBinder sty binder = pprTypedCoreBinder sty binder
+pprBigCoreBinder sty binder 
+  = vcat [pragmas,
+	  pprTypedCoreBinder sty binder] 
+  where
+    pragmas = ppIdInfo sty False{-no specs, thanks-} (getIdInfo binder)
 
 pprBabyCoreBinder sty binder
   = hsep [ppr sty binder, pp_strictness]