8b5f8688dc98e23fb8e9f802eb12b6d8222e4f7b
[ghc.git] / testsuite / tests / indexed-types / should_compile / T3017.stderr
1 TYPE SIGNATURES
2   empty :: forall c. Coll c => c
3   emptyL :: forall a. ListColl a
4   insert :: forall c. Coll c => Elem c -> c -> c
5   test2 ::
6     forall c a b. (Coll c, Num a, Num b, Elem c ~ (a, b)) => c -> c
7 TYPE CONSTRUCTORS
8   class Coll{1} :: * -> Constraint
9   associated type family Elem{1} :: * -> *
10     roles nominal
11   data type ListColl{1} :: * -> *
12 COERCION AXIOMS
13   axiom Foo.D:R:ElemListColl :: Elem (ListColl a) = a
14 DATA CONSTRUCTORS
15   L :: forall a. [a] -> ListColl a
16 CLASS INSTANCES
17   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
18 FAMILY INSTANCES
19   type instance Elem (ListColl a) = a -- Defined at T3017.hs:13:9
20 Dependent modules: []
21 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
22                      integer-gmp-1.0.2.0]