Don't suppress foralls in the RHS of a type synonym definition!

Fixes Trac #7872

Don't suppress foralls in the RHS of a type synonym definition!
Fixes Trac #7872
9e390fdd · Simon Peyton Jones · 11a85cc7 · 9e390fdd
Commit 9e390fdd authored May 02, 2013 by Simon Peyton Jones
--- 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