base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / roles / should_compile / Roles14.stderr
1 TYPE SIGNATURES
2   meth2 :: forall a. C2 a => a -> a
3 TYPE CONSTRUCTORS
4   class C2{1} :: * -> Constraint
5     roles representational
6 COERCION AXIOMS
7   axiom Roles12.N:C2 :: C2 a = a -> a
8 Dependent modules: []
9 Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
10                      integer-gmp-1.0.2.0]
11
12 ==================== Typechecker ====================
13 Roles12.$tcC2
14   = GHC.Types.TyCon
15       7996680154108933333##
16       9454227235464419996##
17       Roles12.$trModule
18       (GHC.Types.TrNameS "C2"#)
19       0
20       $krep
21 Roles12.$tc'C:C2
22   = GHC.Types.TyCon
23       7087988437584478859##
24       11477953550142401435##
25       Roles12.$trModule
26       (GHC.Types.TrNameS "'C:C2"#)
27       1
28       $krep
29 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
30 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
31 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
32 $krep [InlPrag=NOUSERINLINE[~]]
33   = GHC.Types.KindRepFun GHC.Types.krep$* $krep
34 $krep [InlPrag=NOUSERINLINE[~]]
35   = GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []
36 $krep [InlPrag=NOUSERINLINE[~]]
37   = GHC.Types.KindRepTyConApp Roles12.$tcC2 ((:) $krep [])
38 Roles12.$trModule
39   = GHC.Types.Module
40       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles12"#)
41