9fae6633aa53e1705e9796fe87dd47a0394effcd
[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     {-# MINIMAL empty, insert #-}
11   data ListColl a = L [a]
12     Promotable
13 COERCION AXIOMS
14   axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
15 INSTANCES
16   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
17 FAMILY INSTANCES
18   type Elem (ListColl a)
19 Dependent modules: []
20 Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
21                      integer-gmp-1.0.0.0]