rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
[ghc.git] / testsuite / tests / roles / should_compile / Roles1.stderr
1 TYPE CONSTRUCTORS
2   data type T1{1} :: * -> *
3     roles nominal
4   data type T2{1} :: * -> *
5   data type T3{2} :: forall k. k -> *
6     roles nominal phantom
7   data type T4{2} :: (* -> *) -> * -> *
8     roles nominal nominal
9   data type T5{1} :: * -> *
10   data type T6{2} :: forall {k}. k -> *
11     roles nominal phantom
12   data type T7{3} :: forall {k}. k -> * -> *
13     roles nominal phantom representational
14 DATA CONSTRUCTORS
15   K7 :: forall {k} (a :: k) b. b -> T7 a b
16   K6 :: forall {k} (a :: k). T6 a
17   K5 :: forall a. a -> T5 a
18   K4 :: forall (a :: * -> *) b. a b -> T4 a b
19   K3 :: forall k (a :: k). T3 a
20   K2 :: forall a. a -> T2 a
21   K1 :: forall a. a -> T1 a
22 Dependent modules: []
23 Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
24                      integer-gmp-1.0.2.0]
25
26 ==================== Typechecker ====================
27 Roles1.$tcT7
28   = GHC.Types.TyCon
29       178606230775360129##
30       14564382578551945561##
31       Roles1.$trModule
32       (GHC.Types.TrNameS "T7"#)
33       1
34       $krep
35 Roles1.$tc'K7
36   = GHC.Types.TyCon
37       15901479081375327280##
38       4842873210599704617##
39       Roles1.$trModule
40       (GHC.Types.TrNameS "'K7"#)
41       3
42       $krep
43 Roles1.$tcT6
44   = GHC.Types.TyCon
45       7244893995195634045##
46       6882827069359931041##
47       Roles1.$trModule
48       (GHC.Types.TrNameS "T6"#)
49       1
50       $krep
51 Roles1.$tc'K6
52   = GHC.Types.TyCon
53       13928703131159360198##
54       9274401506945696896##
55       Roles1.$trModule
56       (GHC.Types.TrNameS "'K6"#)
57       2
58       $krep
59 Roles1.$tcT5
60   = GHC.Types.TyCon
61       12033401645911719002##
62       6369139038321702301##
63       Roles1.$trModule
64       (GHC.Types.TrNameS "T5"#)
65       0
66       GHC.Types.krep$*Arr*
67 Roles1.$tc'K5
68   = GHC.Types.TyCon
69       5548842497263642061##
70       18349261927117571882##
71       Roles1.$trModule
72       (GHC.Types.TrNameS "'K5"#)
73       1
74       $krep
75 Roles1.$tcT4
76   = GHC.Types.TyCon
77       15834077582937152787##
78       17059037094835388922##
79       Roles1.$trModule
80       (GHC.Types.TrNameS "T4"#)
81       0
82       $krep
83 Roles1.$tc'K4
84   = GHC.Types.TyCon
85       10188453925450404995##
86       4762093850599364042##
87       Roles1.$trModule
88       (GHC.Types.TrNameS "'K4"#)
89       2
90       $krep
91 Roles1.$tcT3
92   = GHC.Types.TyCon
93       13341737262627465733##
94       14527452670364737316##
95       Roles1.$trModule
96       (GHC.Types.TrNameS "T3"#)
97       1
98       $krep
99 Roles1.$tc'K3
100   = GHC.Types.TyCon
101       14534968069054730342##
102       6860808298964464185##
103       Roles1.$trModule
104       (GHC.Types.TrNameS "'K3"#)
105       2
106       $krep
107 Roles1.$tcT2
108   = GHC.Types.TyCon
109       12900773996789723956##
110       9313087549503346504##
111       Roles1.$trModule
112       (GHC.Types.TrNameS "T2"#)
113       0
114       GHC.Types.krep$*Arr*
115 Roles1.$tc'K2
116   = GHC.Types.TyCon
117       11054915488163123841##
118       10799789256744079155##
119       Roles1.$trModule
120       (GHC.Types.TrNameS "'K2"#)
121       1
122       $krep
123 Roles1.$tcT1
124   = GHC.Types.TyCon
125       13228660854624297872##
126       14494320157476678712##
127       Roles1.$trModule
128       (GHC.Types.TrNameS "T1"#)
129       0
130       GHC.Types.krep$*Arr*
131 Roles1.$tc'K1
132   = GHC.Types.TyCon
133       1265606750138351672##
134       7033043930969109074##
135       Roles1.$trModule
136       (GHC.Types.TrNameS "'K1"#)
137       1
138       $krep
139 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 1
140 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
141 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
142 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 1
143 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 2
144 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepApp $krep $krep
145 $krep [InlPrag=NOUSERINLINE[~]]
146   = GHC.Types.KindRepFun $krep GHC.Types.krep$*Arr*
147 $krep [InlPrag=NOUSERINLINE[~]]
148   = GHC.Types.KindRepFun $krep GHC.Types.krep$*
149 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
150 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
151 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
152 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
153 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep
154 $krep [InlPrag=NOUSERINLINE[~]]
155   = GHC.Types.KindRepFun GHC.Types.krep$*Arr* GHC.Types.krep$*Arr*
156 $krep [InlPrag=NOUSERINLINE[~]]
157   = GHC.Types.KindRepTyConApp
158       Roles1.$tcT7 ((:) $krep ((:) $krep ((:) $krep [])))
159 $krep [InlPrag=NOUSERINLINE[~]]
160   = GHC.Types.KindRepTyConApp Roles1.$tcT6 ((:) $krep ((:) $krep []))
161 $krep [InlPrag=NOUSERINLINE[~]]
162   = GHC.Types.KindRepTyConApp Roles1.$tcT4 ((:) $krep ((:) $krep []))
163 $krep [InlPrag=NOUSERINLINE[~]]
164   = GHC.Types.KindRepTyConApp Roles1.$tcT3 ((:) $krep ((:) $krep []))
165 $krep [InlPrag=NOUSERINLINE[~]]
166   = GHC.Types.KindRepTyConApp Roles1.$tcT5 ((:) $krep [])
167 $krep [InlPrag=NOUSERINLINE[~]]
168   = GHC.Types.KindRepTyConApp Roles1.$tcT2 ((:) $krep [])
169 $krep [InlPrag=NOUSERINLINE[~]]
170   = GHC.Types.KindRepTyConApp Roles1.$tcT1 ((:) $krep [])
171 Roles1.$trModule
172   = GHC.Types.Module
173       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#)
174