Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / T3017.stderr
1 TYPE SIGNATURES
2   emptyL :: forall a. ListColl a
3   test2 ::
4     forall c t t1. (Num t, Num t1, Coll c, Elem c ~ (t, t1)) => c -> c
5 TYPE CONSTRUCTORS
6   class Coll c where
7     type family Elem c :: * open
8     empty :: c
9     insert :: Elem c -> c -> c
10   data ListColl a = L [a]
11     Promotable
12 COERCION AXIOMS
13   axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
14 INSTANCES
15   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
16 FAMILY INSTANCES
17   type Elem (ListColl a)
18 Dependent modules: []
19 Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
20                      integer-gmp-0.5.1.0]