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