2c82e8e6d391d393b535127d35314d2f9ff2fba1
[ghc.git] / testsuite / tests / indexed-types / should_compile / T3017.stderr
1 TYPE SIGNATURES
2   Foo.L :: forall a. [a] -> ListColl a
3   empty :: forall c. Coll c => c
4   emptyL :: forall a. ListColl a
5   insert :: forall c. Coll c => Elem c -> c -> c
6   test2 ::
7     forall c a b. (Coll c, Num a, Num b, Elem c ~ (a, b)) => c -> c
8 TYPE CONSTRUCTORS
9   Coll :: * -> Constraint
10   ListColl :: * -> *
11 COERCION AXIOMS
12   axiom Foo.D:R:ElemListColl ::
13     Elem (ListColl a) = a -- Defined at T3017.hs:13:9
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.12.0.0, ghc-prim-0.5.3,
20                      integer-gmp-1.0.2.0]