diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 16:33:47 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 16:34:12 +0100 |
| commit | 9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91 (patch) | |
| tree | 10936c1cc6b9dfbd1c12e01d8bdde8d380ad7d41 | |
| parent | 3905c3c07ba2735e5b3d2dc3389272d5dbb1c503 (diff) | |
| download | haskell-9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91.tar.gz | |
A little more wibbling to -ddump-types
| -rw-r--r-- | compiler/typecheck/TcRnDriver.hs | 3 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3017.stderr | 2 | ||||
| -rw-r--r-- | 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 b327789c42..4d2141bddf 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 2a57edf531..3b4361a2a5 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 ff36be8bdf..b3507b0564 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 |