diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3017.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3017.stderr | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3017.stderr b/testsuite/tests/indexed-types/should_compile/T3017.stderr index 68214e946e..3000395aa2 100644 --- a/testsuite/tests/indexed-types/should_compile/T3017.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr @@ -7,13 +7,11 @@ TYPE SIGNATURES forall c t t1. (Elem c ~ (t, t1), Coll c, Num t1, Num t) => c -> c TYPE CONSTRUCTORS class Coll c where - type family Elem c open - Kind: * -> * + type family Elem c :: * open empty :: c insert :: Elem c -> c -> c {-# MINIMAL empty, insert #-} data ListColl a = L [a] - Kind: * -> * COERCION AXIOMS axiom Foo.D:R:ElemListColl :: Elem (ListColl a) = a -- Defined at T3017.hs:13:9 |