Typeable: Rename KindRep bindings to $krep...
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 125, types: 58, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
7 T7360.$WFoo3 [InlPrag=INLINE[2]] :: Int -> Foo
8 [GblId[DataConWrapper],
9  Arity=1,
10  Caf=NoCafRefs,
11  Str=<S,U>m3,
12  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
13          WorkFree=True, Expandable=True,
14          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
15          Tmpl= \ (dt [Occ=Once!] :: Int) ->
16                  case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }}]
17 T7360.$WFoo3
18   = \ (dt [Occ=Once!] :: Int) ->
19       case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }
20
21 -- RHS size: {terms: 5, types: 2, coercions: 0, joins: 0/0}
22 fun1 [InlPrag=NOINLINE] :: Foo -> ()
23 [GblId,
24  Arity=1,
25  Caf=NoCafRefs,
26  Str=<S,1*U>,
27  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
28          WorkFree=True, Expandable=True,
29          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
30          Tmpl= \ (x [Occ=Once] :: Foo) ->
31                  case x of { __DEFAULT -> GHC.Tuple.() }}]
32 fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() }
33
34 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
35 T7360.fun5 :: ()
36 [GblId,
37  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
38          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
39 T7360.fun5 = fun1 T7360.Foo1
40
41 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
42 T7360.fun4 :: Int
43 [GblId,
44  Caf=NoCafRefs,
45  Str=m,
46  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
47          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
48 T7360.fun4 = GHC.Types.I# 0#
49
50 -- RHS size: {terms: 16, types: 13, coercions: 0, joins: 0/0}
51 fun2 :: forall a. [a] -> ((), Int)
52 [GblId,
53  Arity=1,
54  Str=<L,1*U>m,
55  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
56          WorkFree=True, Expandable=True,
57          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
58          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
59                  (T7360.fun5,
60                   case x of wild {
61                     [] -> T7360.fun4;
62                     : _ [Occ=Dead] _ [Occ=Dead] ->
63                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
64                       GHC.Types.I# ww2
65                       }
66                   })}]
67 fun2
68   = \ (@ a) (x :: [a]) ->
69       (T7360.fun5,
70        case x of wild {
71          [] -> T7360.fun4;
72          : ds ds1 ->
73            case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
74            GHC.Types.I# ww2
75            }
76        })
77
78 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
79 T7360.$trModule4 :: GHC.Prim.Addr#
80 [GblId,
81  Caf=NoCafRefs,
82  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
83          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
84 T7360.$trModule4 = "main"#
85
86 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
87 T7360.$trModule3 :: GHC.Types.TrName
88 [GblId,
89  Caf=NoCafRefs,
90  Str=m1,
91  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
92          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
93 T7360.$trModule3 = GHC.Types.TrNameS T7360.$trModule4
94
95 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
96 T7360.$trModule2 :: GHC.Prim.Addr#
97 [GblId,
98  Caf=NoCafRefs,
99  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
100          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
101 T7360.$trModule2 = "T7360"#
102
103 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
104 T7360.$trModule1 :: GHC.Types.TrName
105 [GblId,
106  Caf=NoCafRefs,
107  Str=m1,
108  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
109          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
110 T7360.$trModule1 = GHC.Types.TrNameS T7360.$trModule2
111
112 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
113 T7360.$trModule :: GHC.Types.Module
114 [GblId,
115  Caf=NoCafRefs,
116  Str=m,
117  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
118          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
119 T7360.$trModule
120   = GHC.Types.Module T7360.$trModule3 T7360.$trModule1
121
122 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
123 T7360.$tcFoo1 [InlPrag=[~]] :: GHC.Types.KindRep
124 [GblId, Caf=NoCafRefs, Str=m5]
125 T7360.$tcFoo1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
126
127 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
128 T7360.$tcFoo3 :: GHC.Prim.Addr#
129 [GblId,
130  Caf=NoCafRefs,
131  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
132          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
133 T7360.$tcFoo3 = "Foo"#
134
135 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
136 T7360.$tcFoo2 :: GHC.Types.TrName
137 [GblId,
138  Caf=NoCafRefs,
139  Str=m1,
140  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
141          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
142 T7360.$tcFoo2 = GHC.Types.TrNameS T7360.$tcFoo3
143
144 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
145 T7360.$tcFoo :: GHC.Types.TyCon
146 [GblId,
147  Caf=NoCafRefs,
148  Str=m,
149  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
150          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
151 T7360.$tcFoo
152   = GHC.Types.TyCon
153       1581370841583180512##
154       13291578023368289311##
155       T7360.$trModule
156       T7360.$tcFoo2
157       0#
158       T7360.$tcFoo1
159
160 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
161 T7360.$tc'Foo4 [InlPrag=[~]] :: GHC.Types.KindRep
162 [GblId, Caf=NoCafRefs, Str=m1]
163 T7360.$tc'Foo4
164   = GHC.Types.KindRepTyConApp
165       T7360.$tcFoo (GHC.Types.[] @ GHC.Types.KindRep)
166
167 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
168 T7360.$tc'Foo6 :: GHC.Prim.Addr#
169 [GblId,
170  Caf=NoCafRefs,
171  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
172          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
173 T7360.$tc'Foo6 = "'Foo1"#
174
175 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
176 T7360.$tc'Foo5 :: GHC.Types.TrName
177 [GblId,
178  Caf=NoCafRefs,
179  Str=m1,
180  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
181          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
182 T7360.$tc'Foo5 = GHC.Types.TrNameS T7360.$tc'Foo6
183
184 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
185 T7360.$tc'Foo1 :: GHC.Types.TyCon
186 [GblId,
187  Caf=NoCafRefs,
188  Str=m,
189  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
190          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
191 T7360.$tc'Foo1
192   = GHC.Types.TyCon
193       3986951253261644518##
194       2515097940992351150##
195       T7360.$trModule
196       T7360.$tc'Foo5
197       0#
198       T7360.$tc'Foo4
199
200 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
201 T7360.$tc'Foo7 [InlPrag=[~]] :: GHC.Types.KindRep
202 [GblId, Caf=NoCafRefs, Str=m1]
203 T7360.$tc'Foo7
204   = GHC.Types.KindRepTyConApp
205       T7360.$tcFoo (GHC.Types.[] @ GHC.Types.KindRep)
206
207 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
208 T7360.$tc'Foo9 :: GHC.Prim.Addr#
209 [GblId,
210  Caf=NoCafRefs,
211  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
212          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
213 T7360.$tc'Foo9 = "'Foo2"#
214
215 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
216 T7360.$tc'Foo8 :: GHC.Types.TrName
217 [GblId,
218  Caf=NoCafRefs,
219  Str=m1,
220  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
221          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
222 T7360.$tc'Foo8 = GHC.Types.TrNameS T7360.$tc'Foo9
223
224 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
225 T7360.$tc'Foo2 :: GHC.Types.TyCon
226 [GblId,
227  Caf=NoCafRefs,
228  Str=m,
229  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
230          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
231 T7360.$tc'Foo2
232   = GHC.Types.TyCon
233       17325079864060690428##
234       2969742457748208427##
235       T7360.$trModule
236       T7360.$tc'Foo8
237       0#
238       T7360.$tc'Foo7
239
240 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
241 $krep :: GHC.Types.KindRep
242 [GblId, Str=m1]
243 $krep
244   = GHC.Types.KindRepTyConApp
245       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
246
247 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
248 $krep1 :: GHC.Types.KindRep
249 [GblId, Caf=NoCafRefs, Str=m1]
250 $krep1
251   = GHC.Types.KindRepTyConApp
252       T7360.$tcFoo (GHC.Types.[] @ GHC.Types.KindRep)
253
254 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
255 T7360.$tc'Foo10 [InlPrag=[~]] :: GHC.Types.KindRep
256 [GblId, Str=m4]
257 T7360.$tc'Foo10 = GHC.Types.KindRepFun $krep $krep1
258
259 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
260 T7360.$tc'Foo12 :: GHC.Prim.Addr#
261 [GblId,
262  Caf=NoCafRefs,
263  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
264          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
265 T7360.$tc'Foo12 = "'Foo3"#
266
267 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
268 T7360.$tc'Foo11 :: GHC.Types.TrName
269 [GblId,
270  Caf=NoCafRefs,
271  Str=m1,
272  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
273          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
274 T7360.$tc'Foo11 = GHC.Types.TrNameS T7360.$tc'Foo12
275
276 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
277 T7360.$tc'Foo3 :: GHC.Types.TyCon
278 [GblId,
279  Str=m,
280  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
281          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
282 T7360.$tc'Foo3
283   = GHC.Types.TyCon
284       3674231676522181654##
285       2694749919371021431##
286       T7360.$trModule
287       T7360.$tc'Foo11
288       0#
289       T7360.$tc'Foo10
290
291
292