[commit: ghc] master: Don't suppress foralls in the RHS of a type synonym definition! (9e390fd)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/9e390fdd1f1da4ae5e218724414ee0091edac28d

>---------------------------------------------------------------

commit 9e390fdd1f1da4ae5e218724414ee0091edac28d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 2 17:05:53 2013 +0100

    Don't suppress foralls in the RHS of a type synonym definition!
    
    Fixes Trac #7872

>---------------------------------------------------------------

 compiler/main/PprTyThing.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/main/PprTyThing.hs b/compiler/main/PprTyThing.hs
index 878ba64..df1c278 100644
--- a/compiler/main/PprTyThing.hs
+++ b/compiler/main/PprTyThing.hs
@@ -177,8 +177,8 @@ pprTyCon pefas ss tyCon
       SynFamilyTyCon {} -> pprTyConHdr pefas tyCon <+> dcolon <+> 
                            pprTypeForUser pefas (GHC.synTyConResKind tyCon)
       SynonymTyCon rhs_ty -> hang (pprTyConHdr pefas tyCon <+> equals) 
-                                2 (pprTypeForUser pefas rhs_ty)
-
+                                2 (ppr rhs_ty)   -- Don't suppress foralls on RHS type!
+                                                 -- e.g. type T = forall a. a->a
   | Just cls <- GHC.tyConClass_maybe tyCon
   = pprClass pefas ss cls
   | otherwise