eb5d26a6d4111cc576459c07eecfe5cde048be55
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
1 TYPE SIGNATURES
2   meth1 :: forall a. C1 a => a -> a
3   meth3 :: forall a. C3 a => a -> Syn1 a
4 TYPE CONSTRUCTORS
5   class C1{1} :: * -> Constraint
6   class C3{1} :: * -> Constraint
7   type synonym Syn1{1} :: * -> *
8 COERCION AXIOMS
9   axiom Roles4.N:C1 :: C1 a = a -> a
10   axiom Roles4.N:C3 :: C3 a = a -> Syn1 a
11 Dependent modules: []
12 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
13                      integer-gmp-1.0.2.0]
14
15 ==================== Typechecker ====================
16 Roles4.$tcC3
17   = GHC.Types.TyCon
18       7508642517340826358##
19       16938219270597865136##
20       Roles4.$trModule
21       (GHC.Types.TrNameS "C3"#)
22       0
23       $krep
24 Roles4.$tc'C:C3
25   = GHC.Types.TyCon
26       3133378316178104365##
27       15809386433947157376##
28       Roles4.$trModule
29       (GHC.Types.TrNameS "'C:C3"#)
30       1
31       $krep
32 Roles4.$tcC1
33   = GHC.Types.TyCon
34       13392243382482428602##
35       1780037961948725012##
36       Roles4.$trModule
37       (GHC.Types.TrNameS "C1"#)
38       0
39       $krep
40 Roles4.$tc'C:C1
41   = GHC.Types.TyCon
42       3870707671502302648##
43       10631907186261837450##
44       Roles4.$trModule
45       (GHC.Types.TrNameS "'C:C1"#)
46       1
47       $krep
48 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
49 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
50 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
51 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
52 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
53 $krep [InlPrag=NOUSERINLINE[~]]
54   = GHC.Types.KindRepFun GHC.Types.krep$* $krep
55 $krep [InlPrag=NOUSERINLINE[~]]
56   = GHC.Types.KindRepTyConApp GHC.Types.$tc[] ((:) $krep [])
57 $krep [InlPrag=NOUSERINLINE[~]]
58   = GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []
59 $krep [InlPrag=NOUSERINLINE[~]]
60   = GHC.Types.KindRepTyConApp Roles4.$tcC3 ((:) $krep [])
61 $krep [InlPrag=NOUSERINLINE[~]]
62   = GHC.Types.KindRepTyConApp Roles4.$tcC1 ((:) $krep [])
63 Roles4.$trModule
64   = GHC.Types.Module
65       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#)
66