Bump `base` version to 4.9.0.0 (closes #11026)
[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     {-# MINIMAL meth1 #-}
6   class C2 a b where
7     meth2 :: a ~ b => a -> b
8     {-# MINIMAL meth2 #-}
9   class C3 a b where
10     type family F3 b :: * open
11     meth3 :: a -> F3 b -> F3 b
12     {-# MINIMAL meth3 #-}
13   class C4 a b where
14     meth4 :: a -> F4 b -> F4 b
15     {-# MINIMAL meth4 #-}
16   type family F4 a :: * open
17   type Syn1 a = F4 a
18   type Syn2 a = [a]
19 COERCION AXIOMS
20   axiom Roles3.NTCo:C1 :: C1 a = a -> a
21   axiom Roles3.NTCo:C2 :: C2 a b = (a ~ b) => a -> b
22   axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
23   axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
24 Dependent modules: []
25 Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
26                      integer-gmp-1.0.0.0]
27
28 ==================== Typechecker ====================
29 Roles3.$tcC4
30   = TyCon
31       12861862461396457184##
32       6389612623460961504##
33       Roles3.$trModule
34       (TrNameS "C4"#)
35 Roles3.$tcC3
36   = TyCon
37       5998139369941479154##
38       6816352641934636458##
39       Roles3.$trModule
40       (TrNameS "C3"#)
41 Roles3.$tcC2
42   = TyCon
43       8833962732139387711##
44       7891126688522429937##
45       Roles3.$trModule
46       (TrNameS "C2"#)
47 Roles3.$tcC1
48   = TyCon
49       16242970448469140073##
50       10229725431456576413##
51       Roles3.$trModule
52       (TrNameS "C1"#)
53 Roles3.$trModule = Module (TrNameS "main"#) (TrNameS "Roles3"#)
54