ae4570ab47239a60e9dd6d1768e3dd66d47269e7
[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 Roles1.$tc'K7
37   = GHC.Types.TyCon
38       15901479081375327280##
39       4842873210599704617##
40       Roles1.$trModule
41       (GHC.Types.TrNameS "'K7"#)
42       3
43       $krep
44 Roles1.$tcT6
45   = GHC.Types.TyCon
46       7244893995195634045##
47       6882827069359931041##
48       Roles1.$trModule
49       (GHC.Types.TrNameS "T6"#)
50       1
51       $krep
52 Roles1.$tc'K6
53   = GHC.Types.TyCon
54       13928703131159360198##
55       9274401506945696896##
56       Roles1.$trModule
57       (GHC.Types.TrNameS "'K6"#)
58       2
59       $krep
60 Roles1.$tcT5
61   = GHC.Types.TyCon
62       12033401645911719002##
63       6369139038321702301##
64       Roles1.$trModule
65       (GHC.Types.TrNameS "T5"#)
66       0
67       $krep
68 Roles1.$tc'K5
69   = GHC.Types.TyCon
70       5548842497263642061##
71       18349261927117571882##
72       Roles1.$trModule
73       (GHC.Types.TrNameS "'K5"#)
74       1
75       $krep
76 Roles1.$tcT4
77   = GHC.Types.TyCon
78       15834077582937152787##
79       17059037094835388922##
80       Roles1.$trModule
81       (GHC.Types.TrNameS "T4"#)
82       0
83       $krep
84 Roles1.$tc'K4
85   = GHC.Types.TyCon
86       10188453925450404995##
87       4762093850599364042##
88       Roles1.$trModule
89       (GHC.Types.TrNameS "'K4"#)
90       2
91       $krep
92 Roles1.$tcT3
93   = GHC.Types.TyCon
94       13341737262627465733##
95       14527452670364737316##
96       Roles1.$trModule
97       (GHC.Types.TrNameS "T3"#)
98       1
99       $krep
100 Roles1.$tc'K3
101   = GHC.Types.TyCon
102       14534968069054730342##
103       6860808298964464185##
104       Roles1.$trModule
105       (GHC.Types.TrNameS "'K3"#)
106       2
107       $krep
108 Roles1.$tcT2
109   = GHC.Types.TyCon
110       12900773996789723956##
111       9313087549503346504##
112       Roles1.$trModule
113       (GHC.Types.TrNameS "T2"#)
114       0
115       $krep
116 Roles1.$tc'K2
117   = GHC.Types.TyCon
118       11054915488163123841##
119       10799789256744079155##
120       Roles1.$trModule
121       (GHC.Types.TrNameS "'K2"#)
122       1
123       $krep
124 Roles1.$tcT1
125   = GHC.Types.TyCon
126       13228660854624297872##
127       14494320157476678712##
128       Roles1.$trModule
129       (GHC.Types.TrNameS "T1"#)
130       0
131       $krep
132 Roles1.$tc'K1
133   = GHC.Types.TyCon
134       1265606750138351672##
135       7033043930969109074##
136       Roles1.$trModule
137       (GHC.Types.TrNameS "'K1"#)
138       1
139       $krep
140 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 1
141 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
142 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
143 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 1
144 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 2
145 $krep [InlPrag=[~]] = GHC.Types.KindRepApp $krep $krep
146 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
147 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
148 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
149 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
150 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
151 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
152 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
153 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
154 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
155 $krep [InlPrag=[~]]
156   = GHC.Types.KindRepTyConApp
157       Roles1.$tcT7 ((:) $krep ((:) $krep ((:) $krep [])))
158 $krep [InlPrag=[~]]
159   = GHC.Types.KindRepTyConApp Roles1.$tcT6 ((:) $krep ((:) $krep []))
160 $krep [InlPrag=[~]]
161   = GHC.Types.KindRepTyConApp Roles1.$tcT4 ((:) $krep ((:) $krep []))
162 $krep [InlPrag=[~]]
163   = GHC.Types.KindRepTyConApp Roles1.$tcT3 ((:) $krep ((:) $krep []))
164 $krep [InlPrag=[~]] = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
165 $krep [InlPrag=[~]]
166   = GHC.Types.KindRepTyConApp Roles1.$tcT5 ((:) $krep [])
167 $krep [InlPrag=[~]]
168   = GHC.Types.KindRepTyConApp Roles1.$tcT2 ((:) $krep [])
169 $krep [InlPrag=[~]]
170   = GHC.Types.KindRepTyConApp Roles1.$tcT1 ((:) $krep [])
171 Roles1.$trModule
172   = GHC.Types.Module
173       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#)
174