5bf803419f9a8bb8af712ad734120f707b76f61d
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
1 TYPE SIGNATURES
2   meth1 :: forall a. C1 a => a -> a
3   meth2 :: forall a b. (C2 a b, a ~ b) => a -> b
4   meth3 :: forall a b. C3 a b => a -> F3 b -> F3 b
5   meth4 :: forall a b. C4 a b => a -> F4 b -> F4 b
6 TYPE CONSTRUCTORS
7   class C1 a where
8     meth1 :: a -> a
9     {-# MINIMAL meth1 #-}
10   class C2 a b where
11     meth2 :: a ~ b => a -> b
12     {-# MINIMAL meth2 #-}
13   class C3 a b where
14     type family F3 b :: * open
15     meth3 :: a -> F3 b -> F3 b
16     {-# MINIMAL meth3 #-}
17   class C4 a b where
18     meth4 :: a -> F4 b -> F4 b
19     {-# MINIMAL meth4 #-}
20   type family F4 a :: * open
21   type Syn1 a = F4 a
22   type Syn2 a = [a]
23 COERCION AXIOMS
24   axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1
25   axiom Roles3.N:C2 ::
26     C2 a b = a ~ b => a -> b -- Defined at Roles3.hs:9:1
27   axiom Roles3.N:C3 ::
28     C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1
29   axiom Roles3.N:C4 ::
30     C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18:1
31 Dependent modules: []
32 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
33                      integer-gmp-1.0.0.1]
34
35 ==================== Typechecker ====================
36 Roles3.$tcC4
37   = GHC.Types.TyCon
38       12861862461396457184##
39       6389612623460961504##
40       Roles3.$trModule
41       (GHC.Types.TrNameS "C4"#)
42 Roles3.$tc'C:C4
43   = GHC.Types.TyCon
44       5012080351591218464##
45       14312195554521420369##
46       Roles3.$trModule
47       (GHC.Types.TrNameS "'C:C4"#)
48 Roles3.$tcC3
49   = GHC.Types.TyCon
50       5998139369941479154##
51       6816352641934636458##
52       Roles3.$trModule
53       (GHC.Types.TrNameS "C3"#)
54 Roles3.$tc'C:C3
55   = GHC.Types.TyCon
56       5363370173992879615##
57       3444510123613553605##
58       Roles3.$trModule
59       (GHC.Types.TrNameS "'C:C3"#)
60 Roles3.$tcC2
61   = GHC.Types.TyCon
62       8833962732139387711##
63       7891126688522429937##
64       Roles3.$trModule
65       (GHC.Types.TrNameS "C2"#)
66 Roles3.$tc'C:C2
67   = GHC.Types.TyCon
68       17372867324718144313##
69       13604113872247370917##
70       Roles3.$trModule
71       (GHC.Types.TrNameS "'C:C2"#)
72 Roles3.$tcC1
73   = GHC.Types.TyCon
74       16242970448469140073##
75       10229725431456576413##
76       Roles3.$trModule
77       (GHC.Types.TrNameS "C1"#)
78 Roles3.$tc'C:C1
79   = GHC.Types.TyCon
80       2927144765823607117##
81       15172069236577673237##
82       Roles3.$trModule
83       (GHC.Types.TrNameS "'C:C1"#)
84 Roles3.$trModule
85   = GHC.Types.Module
86       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles3"#)
87