39ca1ea0a89a46965766b76f2ba0c56bb9b01010
[ghc.git] / testsuite / tests / roles / should_compile / Roles2.stderr
1 TYPE SIGNATURES
2   Roles2.K1 :: forall a. IO a -> T1 a
3   Roles2.K2 :: forall a. FunPtr a -> T2 a
4 TYPE CONSTRUCTORS
5   data T1 a = K1 (IO a)
6   type role T2 phantom
7   data T2 a = K2 (FunPtr a)
8 COERCION AXIOMS
9 Dependent modules: []
10 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
11                      integer-gmp-1.0.0.1]
12
13 ==================== Typechecker ====================
14 Roles2.$tcT2
15   = GHC.Types.TyCon
16       9065817229114433861##
17       13399581642971864140##
18       Roles2.$trModule
19       (GHC.Types.TrNameS "T2"#)
20       0
21       $krep
22 $krep [InlPrag=[~]]
23   = GHC.Types.KindRepFun
24       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
25       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
26 Roles2.$tc'K2
27   = GHC.Types.TyCon
28       17395957229042313563##
29       12263882107019815181##
30       Roles2.$trModule
31       (GHC.Types.TrNameS "'K2"#)
32       1
33       $krep
34 $krep [InlPrag=[~]]
35   = GHC.Types.KindRepFun
36       (GHC.Types.KindRepTyConApp
37          GHC.Ptr.$tcFunPtr ((:) (GHC.Types.KindRepVar 0) []))
38       (GHC.Types.KindRepTyConApp
39          Roles2.$tcT2 ((:) (GHC.Types.KindRepVar 0) []))
40 Roles2.$tcT1
41   = GHC.Types.TyCon
42       10310640733256438505##
43       9162099558816022096##
44       Roles2.$trModule
45       (GHC.Types.TrNameS "T1"#)
46       0
47       $krep
48 $krep [InlPrag=[~]]
49   = GHC.Types.KindRepFun
50       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
51       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
52 Roles2.$tc'K1
53   = GHC.Types.TyCon
54       16530009231990968394##
55       11761390951471299534##
56       Roles2.$trModule
57       (GHC.Types.TrNameS "'K1"#)
58       1
59       $krep
60 $krep [InlPrag=[~]]
61   = GHC.Types.KindRepFun
62       (GHC.Types.KindRepTyConApp
63          GHC.Types.$tcIO ((:) (GHC.Types.KindRepVar 0) []))
64       (GHC.Types.KindRepTyConApp
65          Roles2.$tcT1 ((:) (GHC.Types.KindRepVar 0) []))
66 Roles2.$trModule
67   = GHC.Types.Module
68       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles2"#)
69