Error messsage wibbles
[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. (Coll c, Num t1, Num t, Elem c ~ (t, t1)) => c -> c
5 TYPE CONSTRUCTORS
6   Coll :: * -> Constraint
7   class Coll c
8     Roles: [nominal]
9     RecFlag NonRecursive
10     type family Elem c :: * (open)
11     empty :: c insert :: Elem c -> c -> c
12   ListColl :: * -> *
13   data ListColl a
14     No C type associated
15     Roles: [representational]
16     RecFlag NonRecursive, Promotable
17     = L :: forall a. [a] -> ListColl a Stricts: _
18     FamilyInstance: none
19 COERCION AXIOMS
20   axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
21 INSTANCES
22   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
23 FAMILY INSTANCES
24   type Elem (ListColl a) -- Defined at T3017.hs:13:4
25 Dependent modules: []
26 Dependent packages: [base, ghc-prim, integer-gmp]