base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[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{1} :: * -> Constraint
8   class C2{2} :: * -> * -> Constraint
9   class C3{2} :: * -> * -> Constraint
10   class C4{2} :: * -> * -> Constraint
11   associated type family F3{1} :: * -> *
12     roles nominal
13   type family F4{1} :: * -> *
14     roles nominal
15   type synonym Syn1{1} :: * -> *
16     roles nominal
17   type synonym Syn2{1} :: * -> *
18 COERCION AXIOMS
19   axiom Roles3.N:C1 :: C1 a = a -> a
20   axiom Roles3.N:C2 :: C2 a b = (a ~ b) => a -> b
21   axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b
22   axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b
23 Dependent modules: []
24 Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
25                      integer-gmp-1.0.2.0]
26
27 ==================== Typechecker ====================
28 Roles3.$tcC4
29   = GHC.Types.TyCon
30       6800596812149592130##
31       15513203864133461281##
32       Roles3.$trModule
33       (GHC.Types.TrNameS "C4"#)
34       0
35       $krep
36 Roles3.$tcC3
37   = GHC.Types.TyCon
38       5076086601454991970##
39       10299714674904836194##
40       Roles3.$trModule
41       (GHC.Types.TrNameS "C3"#)
42       0
43       $krep
44 Roles3.$tcC2
45   = GHC.Types.TyCon
46       7902873224172523979##
47       11840994447152209031##
48       Roles3.$trModule
49       (GHC.Types.TrNameS "C2"#)
50       0
51       $krep
52 Roles3.$tc'C:C2
53   = GHC.Types.TyCon
54       11218882737915989529##
55       9454910899374397367##
56       Roles3.$trModule
57       (GHC.Types.TrNameS "'C:C2"#)
58       2
59       $krep
60 Roles3.$tcC1
61   = GHC.Types.TyCon
62       11013585501375994163##
63       16371608655219610659##
64       Roles3.$trModule
65       (GHC.Types.TrNameS "C1"#)
66       0
67       $krep
68 Roles3.$tc'C:C1
69   = GHC.Types.TyCon
70       4508088879886988796##
71       13962145553903222779##
72       Roles3.$trModule
73       (GHC.Types.TrNameS "'C:C1"#)
74       1
75       $krep
76 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
77 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 1
78 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
79 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
80 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
81 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
82 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
83 $krep [InlPrag=NOUSERINLINE[~]]
84   = GHC.Types.KindRepFun GHC.Types.krep$* $krep
85 $krep [InlPrag=NOUSERINLINE[~]]
86   = GHC.Types.KindRepFun GHC.Types.krep$* $krep
87 $krep [InlPrag=NOUSERINLINE[~]]
88   = GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []
89 $krep [InlPrag=NOUSERINLINE[~]]
90   = GHC.Types.KindRepTyConApp
91       GHC.Types.$tc~ ((:) GHC.Types.krep$* ((:) $krep ((:) $krep [])))
92 $krep [InlPrag=NOUSERINLINE[~]]
93   = GHC.Types.KindRepTyConApp Roles3.$tcC2 ((:) $krep ((:) $krep []))
94 $krep [InlPrag=NOUSERINLINE[~]]
95   = GHC.Types.KindRepTyConApp Roles3.$tcC1 ((:) $krep [])
96 Roles3.$trModule
97   = GHC.Types.Module
98       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles3"#)
99