Add 'addWordC#' PrimOp
[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   class Coll c where
10     type family Elem c :: * open
11     empty :: c
12     insert :: Elem c -> c -> c
13     {-# MINIMAL empty, insert #-}
14   data ListColl a = L [a]
15 COERCION AXIOMS
16   axiom Foo.D:R:ElemListColl ::
17     Elem (ListColl a) = a -- Defined at T3017.hs:13:9
18 INSTANCES
19   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
20 FAMILY INSTANCES
21   type Elem (ListColl a)
22 Dependent modules: []
23 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1,
24                      integer-gmp-1.0.2.0]