[commit: ghc] master: A little more wibbling to -ddump-types (9a779d9)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91/ghc

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

commit 9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 25 16:33:47 2018 +0100

    A little more wibbling to -ddump-types


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

9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91
 compiler/typecheck/TcRnDriver.hs                          | 3 +--
 testsuite/tests/indexed-types/should_compile/T3017.stderr | 2 ++
 testsuite/tests/roles/should_compile/Roles3.stderr        | 2 ++
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcRnDriver.hs b/compiler/typecheck/TcRnDriver.hs
index b327789..4d2141b 100644
--- a/compiler/typecheck/TcRnDriver.hs
+++ b/compiler/typecheck/TcRnDriver.hs
@@ -2734,8 +2734,7 @@ ppr_tycons debug fam_insts type_env
                     , want_tycon tycon]
              -- Sort by OccName to reduce unnecessary changes
     want_tycon tycon | debug      = True
-                     | otherwise  = not (isImplicitTyCon tycon) &&
-                                    isExternalName (tyConName tycon) &&
+                     | otherwise  = isExternalName (tyConName tycon) &&
                                     not (tycon `elem` fi_tycons)
     ppr_tc tc
        = vcat [ ppWhen show_roles $
diff --git a/testsuite/tests/indexed-types/should_compile/T3017.stderr b/testsuite/tests/indexed-types/should_compile/T3017.stderr
index 2a57edf..3b4361a 100644
--- a/testsuite/tests/indexed-types/should_compile/T3017.stderr
+++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr
@@ -6,6 +6,8 @@ TYPE SIGNATURES
     forall c a b. (Coll c, Num a, Num b, Elem c ~ (a, b)) => c -> c
 TYPE CONSTRUCTORS
   Coll :: * -> Constraint
+  type role Elem nominal
+  Elem :: * -> *
   ListColl :: * -> *
 COERCION AXIOMS
   axiom Foo.D:R:ElemListColl ::
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr
index ff36be8..b3507b0 100644
--- a/testsuite/tests/roles/should_compile/Roles3.stderr
+++ b/testsuite/tests/roles/should_compile/Roles3.stderr
@@ -8,6 +8,8 @@ TYPE CONSTRUCTORS
   C2 :: * -> * -> Constraint
   C3 :: * -> * -> Constraint
   C4 :: * -> * -> Constraint
+  type role F3 nominal
+  F3 :: * -> *
   type role F4 nominal
   F4 :: * -> *
   type role Syn1 nominal