Kill non-deterministic foldUFM in TrieMap and TcAppMap
[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 t t1 c. (Elem c ~ (t, t1), Coll c, Num t, Num t1) => 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.9.0.0, ghc-prim-0.5.0.0,
24                      integer-gmp-1.0.0.1]