6a5e31d9c5a519fcfadc62e0110dba4fa9cd772e
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 105, types: 40, 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: 3, types: 1, coercions: 0, joins: 0/0}
45 $krep :: GHC.Types.KindRep
46 [GblId]
47 $krep
48   = GHC.Types.KindRepTyConApp
49       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
50
51 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
52 $krep1 :: GHC.Types.KindRep
53 [GblId, Caf=NoCafRefs]
54 $krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
55
56 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
57 $krep2 :: GHC.Types.KindRep
58 [GblId, Caf=NoCafRefs]
59 $krep2 = GHC.Types.KindRepFun $krep1 $krep1
60
61 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
62 $krep3 :: GHC.Types.KindRep
63 [GblId, Caf=NoCafRefs]
64 $krep3 = GHC.Types.KindRepVar 0#
65
66 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
67 $tcAge1 :: GHC.Prim.Addr#
68 [GblId, Caf=NoCafRefs]
69 $tcAge1 = "Age"#
70
71 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
72 $tcAge2 :: GHC.Types.TrName
73 [GblId, Caf=NoCafRefs]
74 $tcAge2 = GHC.Types.TrNameS $tcAge1
75
76 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
77 Roles13.$tcAge :: GHC.Types.TyCon
78 [GblId, Caf=NoCafRefs]
79 Roles13.$tcAge
80   = GHC.Types.TyCon
81       3456257068627873222##
82       14056710845110756026##
83       Roles13.$trModule
84       $tcAge2
85       0#
86       $krep1
87
88 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
89 $krep4 :: GHC.Types.KindRep
90 [GblId, Caf=NoCafRefs]
91 $krep4
92   = GHC.Types.KindRepTyConApp
93       Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
94
95 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
96 $krep5 :: GHC.Types.KindRep
97 [GblId]
98 $krep5 = GHC.Types.KindRepFun $krep $krep4
99
100 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
101 $tc'MkAge1 :: GHC.Prim.Addr#
102 [GblId, Caf=NoCafRefs]
103 $tc'MkAge1 = "'MkAge"#
104
105 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
106 $tc'MkAge2 :: GHC.Types.TrName
107 [GblId, Caf=NoCafRefs]
108 $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
109
110 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
111 Roles13.$tc'MkAge :: GHC.Types.TyCon
112 [GblId]
113 Roles13.$tc'MkAge
114   = GHC.Types.TyCon
115       18264039750958872441##
116       1870189534242358050##
117       Roles13.$trModule
118       $tc'MkAge2
119       0#
120       $krep5
121
122 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
123 $tcWrap1 :: GHC.Prim.Addr#
124 [GblId, Caf=NoCafRefs]
125 $tcWrap1 = "Wrap"#
126
127 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
128 $tcWrap2 :: GHC.Types.TrName
129 [GblId, Caf=NoCafRefs]
130 $tcWrap2 = GHC.Types.TrNameS $tcWrap1
131
132 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
133 Roles13.$tcWrap :: GHC.Types.TyCon
134 [GblId, Caf=NoCafRefs]
135 Roles13.$tcWrap
136   = GHC.Types.TyCon
137       13773534096961634492##
138       15591525585626702988##
139       Roles13.$trModule
140       $tcWrap2
141       0#
142       $krep2
143
144 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
145 $krep6 :: [GHC.Types.KindRep]
146 [GblId, Caf=NoCafRefs]
147 $krep6
148   = GHC.Types.:
149       @ GHC.Types.KindRep $krep3 (GHC.Types.[] @ GHC.Types.KindRep)
150
151 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
152 $krep7 :: GHC.Types.KindRep
153 [GblId, Caf=NoCafRefs]
154 $krep7 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep6
155
156 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
157 $krep8 :: GHC.Types.KindRep
158 [GblId, Caf=NoCafRefs]
159 $krep8 = GHC.Types.KindRepFun $krep3 $krep7
160
161 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
162 $tc'MkWrap1 :: GHC.Prim.Addr#
163 [GblId, Caf=NoCafRefs]
164 $tc'MkWrap1 = "'MkWrap"#
165
166 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
167 $tc'MkWrap2 :: GHC.Types.TrName
168 [GblId, Caf=NoCafRefs]
169 $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
170
171 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
172 Roles13.$tc'MkWrap :: GHC.Types.TyCon
173 [GblId, Caf=NoCafRefs]
174 Roles13.$tc'MkWrap
175   = GHC.Types.TyCon
176       15580677875333883466##
177       808508687714473149##
178       Roles13.$trModule
179       $tc'MkWrap2
180       1#
181       $krep8
182
183
184