From 705f3b64dec2b8d8340b3d370d76a70500833268 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Wed, 5 Nov 1997 16:09:11 +0000
Subject: [PATCH] [project @ 1997-11-05 16:09:11 by simonm] always print types
 with binders, and put them on separate lines.

---
 ghc/compiler/coreSyn/PprCore.lhs |   23 +++--------------------
 1 file changed, 3 insertions(+), 20 deletions(-)

diff --git a/ghc/compiler/coreSyn/PprCore.lhs b/ghc/compiler/coreSyn/PprCore.lhs
index f82c58d..3c4a7ba 100644
--- a/ghc/compiler/coreSyn/PprCore.lhs
+++ b/ghc/compiler/coreSyn/PprCore.lhs
@@ -284,7 +284,7 @@ ppr_expr pe expr@(Lam _ _)
     in
     hang (hsep [pp_vars SLIT("/u\\") (pUVar    pe) uvars,
 		pp_vars SLIT("_/\\_")  (pTyVarB  pe) tyvars,
-		pp_vars SLIT("\\")   (pMajBndr pe) vars])
+		pp_vars SLIT("\\")   (pMajndr pe) vars])
 	 4 (ppr_expr pe body)
   where
     pp_vars lam pp [] = empty
@@ -423,22 +423,7 @@ Other printing bits-and-bobs used with the general @pprCoreBinding@
 and @pprCoreExpr@ functions.
 
 \begin{code}
-pprBigCoreBinder sty binder
-  = vcat [sig, pragmas, ppr sty binder]
-  where
-    sig = ifnotPprShowAll sty (
-	    hsep [ppr sty binder, ppDcolon, ppr sty (idType binder)])
-
-{- Having the type come on a separate line does not look "right" to me (doesn't
-   save too much space either), so I've replaced it with a one-line version. -- SOF
-
-	    hang (hsep [ppr sty binder, ppDcolon])
-		 4 (ppr sty (idType binder)))
--}
-
-    pragmas =
-	ifnotPprForUser sty
-	 (ppIdInfo sty False{-no specs, thanks-} (getIdInfo binder))
+pprBigCoreBinder sty binder = pprTypedCoreBinder sty binder
 
 pprBabyCoreBinder sty binder
   = hsep [ppr sty binder, pp_strictness]
@@ -446,9 +431,7 @@ pprBabyCoreBinder sty binder
     pp_strictness = ppStrictnessInfo sty (getIdStrictness binder)
 
 pprTypedCoreBinder sty binder
-  = hcat [ppr sty binder, ppDcolon, pprParendGenType sty (idType binder)]
-
-ppDcolon = ptext SLIT(" :: ")
+  = hsep [ppr sty binder, ptext SLIT("::"), pprParendGenType sty (idType binder)]
 		-- The space before the :: is important; it helps the lexer
 		-- when reading inferfaces.  Otherwise it would lex "a::b" as one thing.
 \end{code}
-- 
1.7.10.4