Improve output from -ddump-types
[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   Coll :: * -> Constraint
9   ListColl :: * -> *
10 COERCION AXIOMS
11   axiom Foo.D:R:ElemListColl ::
12     Elem (ListColl a) = a -- Defined at T3017.hs:13:9
13 DATA CONSTRUCTORS
14   L :: forall a. [a] -> ListColl a
15 CLASS INSTANCES
16   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
17 FAMILY INSTANCES
18   type Elem (ListColl a)
19 Dependent modules: []
20 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
21                      integer-gmp-1.0.2.0]