1ea545504badc2ab4509901192507066dcc1f9b7
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 114, types: 43, coercions: 5, joins: 0/0}
5
6 -- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0}
7 convert1 :: Wrap Age -> Wrap Age
8 [GblId, Arity=1, Caf=NoCafRefs]
9 convert1 = \ (ds :: Wrap Age) -> ds
10
11 -- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
12 convert :: Wrap Age -> Int
13 [GblId, Arity=1, Caf=NoCafRefs]
14 convert
15   = convert1
16     `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
17             :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
18
19 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
20 $trModule1 :: GHC.Prim.Addr#
21 [GblId, Caf=NoCafRefs]
22 $trModule1 = "main"#
23
24 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
25 $trModule2 :: GHC.Types.TrName
26 [GblId, Caf=NoCafRefs]
27 $trModule2 = GHC.Types.TrNameS $trModule1
28
29 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
30 $trModule3 :: GHC.Prim.Addr#
31 [GblId, Caf=NoCafRefs]
32 $trModule3 = "Roles13"#
33
34 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
35 $trModule4 :: GHC.Types.TrName
36 [GblId, Caf=NoCafRefs]
37 $trModule4 = GHC.Types.TrNameS $trModule3
38
39 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
40 Roles13.$trModule :: GHC.Types.Module
41 [GblId, Caf=NoCafRefs]
42 Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
43
44 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
45 $krep :: GHC.Types.KindRep
46 [GblId, Caf=NoCafRefs]
47 $krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
48
49 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
50 $tcAge1 :: GHC.Prim.Addr#
51 [GblId, Caf=NoCafRefs]
52 $tcAge1 = "Age"#
53
54 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
55 $tcAge2 :: GHC.Types.TrName
56 [GblId, Caf=NoCafRefs]
57 $tcAge2 = GHC.Types.TrNameS $tcAge1
58
59 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
60 Roles13.$tcAge :: GHC.Types.TyCon
61 [GblId, Caf=NoCafRefs]
62 Roles13.$tcAge
63   = GHC.Types.TyCon
64       3456257068627873222##
65       14056710845110756026##
66       Roles13.$trModule
67       $tcAge2
68       0#
69       $krep
70
71 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
72 $krep1 :: GHC.Types.KindRep
73 [GblId]
74 $krep1
75   = GHC.Types.KindRepTyConApp
76       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
77
78 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
79 $krep2 :: GHC.Types.KindRep
80 [GblId, Caf=NoCafRefs]
81 $krep2
82   = GHC.Types.KindRepTyConApp
83       Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
84
85 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
86 $krep3 :: GHC.Types.KindRep
87 [GblId]
88 $krep3 = GHC.Types.KindRepFun $krep1 $krep2
89
90 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
91 $tc'MkAge1 :: GHC.Prim.Addr#
92 [GblId, Caf=NoCafRefs]
93 $tc'MkAge1 = "'MkAge"#
94
95 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
96 $tc'MkAge2 :: GHC.Types.TrName
97 [GblId, Caf=NoCafRefs]
98 $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
99
100 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
101 Roles13.$tc'MkAge :: GHC.Types.TyCon
102 [GblId]
103 Roles13.$tc'MkAge
104   = GHC.Types.TyCon
105       18264039750958872441##
106       1870189534242358050##
107       Roles13.$trModule
108       $tc'MkAge2
109       0#
110       $krep3
111
112 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
113 $krep4 :: GHC.Types.KindRep
114 [GblId, Caf=NoCafRefs]
115 $krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
116
117 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
118 $krep5 :: GHC.Types.KindRep
119 [GblId, Caf=NoCafRefs]
120 $krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
121
122 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
123 $krep6 :: GHC.Types.KindRep
124 [GblId, Caf=NoCafRefs]
125 $krep6 = GHC.Types.KindRepFun $krep4 $krep5
126
127 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
128 $tcWrap1 :: GHC.Prim.Addr#
129 [GblId, Caf=NoCafRefs]
130 $tcWrap1 = "Wrap"#
131
132 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
133 $tcWrap2 :: GHC.Types.TrName
134 [GblId, Caf=NoCafRefs]
135 $tcWrap2 = GHC.Types.TrNameS $tcWrap1
136
137 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
138 Roles13.$tcWrap :: GHC.Types.TyCon
139 [GblId, Caf=NoCafRefs]
140 Roles13.$tcWrap
141   = GHC.Types.TyCon
142       13773534096961634492##
143       15591525585626702988##
144       Roles13.$trModule
145       $tcWrap2
146       0#
147       $krep6
148
149 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
150 $krep7 :: GHC.Types.KindRep
151 [GblId, Caf=NoCafRefs]
152 $krep7 = GHC.Types.KindRepVar 0#
153
154 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
155 $krep8 :: GHC.Types.KindRep
156 [GblId, Caf=NoCafRefs]
157 $krep8 = GHC.Types.KindRepVar 0#
158
159 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
160 $krep9 :: [GHC.Types.KindRep]
161 [GblId, Caf=NoCafRefs]
162 $krep9
163   = GHC.Types.:
164       @ GHC.Types.KindRep $krep8 (GHC.Types.[] @ GHC.Types.KindRep)
165
166 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
167 $krep10 :: GHC.Types.KindRep
168 [GblId, Caf=NoCafRefs]
169 $krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep9
170
171 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
172 $krep11 :: GHC.Types.KindRep
173 [GblId, Caf=NoCafRefs]
174 $krep11 = GHC.Types.KindRepFun $krep7 $krep10
175
176 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
177 $tc'MkWrap1 :: GHC.Prim.Addr#
178 [GblId, Caf=NoCafRefs]
179 $tc'MkWrap1 = "'MkWrap"#
180
181 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
182 $tc'MkWrap2 :: GHC.Types.TrName
183 [GblId, Caf=NoCafRefs]
184 $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
185
186 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
187 Roles13.$tc'MkWrap :: GHC.Types.TyCon
188 [GblId, Caf=NoCafRefs]
189 Roles13.$tc'MkWrap
190   = GHC.Types.TyCon
191       15580677875333883466##
192       808508687714473149##
193       Roles13.$trModule
194       $tc'MkWrap2
195       1#
196       $krep11
197
198
199