Minor bump `base` version to 4.8.1.0
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   class C1 a where
4     meth1 :: a -> a
5   class C2 a b where
6     meth2 :: a ~ b => a -> b
7   class C3 a b where
8     type family F3 b :: * open
9     meth3 :: a -> F3 b -> F3 b
10   class C4 a b where
11     meth4 :: a -> F4 b -> F4 b
12   type family F4 a :: * open
13   type Syn1 a = F4 a
14   type Syn2 a = [a]
15 COERCION AXIOMS
16   axiom Roles3.NTCo:C1 :: C1 a = a -> a
17   axiom Roles3.NTCo:C2 :: C2 a b = (a ~ b) => a -> b
18   axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
19   axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
20 Dependent modules: []
21 Dependent packages: [base-4.8.1.0, ghc-prim-0.4.0.0,
22                      integer-gmp-1.0.0.0]
23
24 ==================== Typechecker ====================
25