Commit 9a779d9f authored by Simon Peyton Jones's avatar Simon Peyton Jones

A little more wibbling to -ddump-types

parent 3905c3c0
......@@ -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 $
......
......@@ -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 ::
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment