Produce KindReps for common kinds in GHC.Types
[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       GHC.Types.krep$*Arr*
22 Roles2.$tc'K2
23   = GHC.Types.TyCon
24       17395957229042313563##
25       12263882107019815181##
26       Roles2.$trModule
27       (GHC.Types.TrNameS "'K2"#)
28       1
29       $krep
30 Roles2.$tcT1
31   = GHC.Types.TyCon
32       10310640733256438505##
33       9162099558816022096##
34       Roles2.$trModule
35       (GHC.Types.TrNameS "T1"#)
36       0
37       GHC.Types.krep$*Arr*
38 Roles2.$tc'K1
39   = GHC.Types.TyCon
40       16530009231990968394##
41       11761390951471299534##
42       Roles2.$trModule
43       (GHC.Types.TrNameS "'K1"#)
44       1
45       $krep
46 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
47 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
48 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
49 $krep [InlPrag=[~]]
50   = GHC.Types.KindRepTyConApp GHC.Ptr.$tcFunPtr ((:) $krep [])
51 $krep [InlPrag=[~]]
52   = GHC.Types.KindRepTyConApp Roles2.$tcT2 ((:) $krep [])
53 $krep [InlPrag=[~]]
54   = GHC.Types.KindRepTyConApp GHC.Types.$tcIO ((:) $krep [])
55 $krep [InlPrag=[~]]
56   = GHC.Types.KindRepTyConApp Roles2.$tcT1 ((:) $krep [])
57 Roles2.$trModule
58   = GHC.Types.Module
59       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles2"#)
60