22a7a64d925d8d345a3d54072ab3b7eff070b928
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 117, types: 54, 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: 3, types: 1, coercions: 0, joins: 0/0}
123 $krep :: GHC.Types.KindRep
124 [GblId, Caf=NoCafRefs, Str=m1]
125 $krep
126   = GHC.Types.KindRepTyConApp
127       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
128
129 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
130 T7360.$tcFoo1 [InlPrag=[~]] :: GHC.Types.KindRep
131 [GblId, Caf=NoCafRefs, Str=m5]
132 T7360.$tcFoo1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
133
134 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
135 T7360.$tcFoo3 :: GHC.Prim.Addr#
136 [GblId,
137  Caf=NoCafRefs,
138  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
139          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
140 T7360.$tcFoo3 = "Foo"#
141
142 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
143 T7360.$tcFoo2 :: GHC.Types.TrName
144 [GblId,
145  Caf=NoCafRefs,
146  Str=m1,
147  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
148          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
149 T7360.$tcFoo2 = GHC.Types.TrNameS T7360.$tcFoo3
150
151 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
152 T7360.$tcFoo :: GHC.Types.TyCon
153 [GblId,
154  Caf=NoCafRefs,
155  Str=m,
156  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
157          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
158 T7360.$tcFoo
159   = GHC.Types.TyCon
160       1581370841583180512##
161       13291578023368289311##
162       T7360.$trModule
163       T7360.$tcFoo2
164       0#
165       T7360.$tcFoo1
166
167 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
168 T7360.$tc'Foo4 [InlPrag=[~]] :: GHC.Types.KindRep
169 [GblId, Caf=NoCafRefs, Str=m1]
170 T7360.$tc'Foo4
171   = GHC.Types.KindRepTyConApp
172       T7360.$tcFoo (GHC.Types.[] @ GHC.Types.KindRep)
173
174 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
175 T7360.$tc'Foo6 :: GHC.Prim.Addr#
176 [GblId,
177  Caf=NoCafRefs,
178  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
179          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
180 T7360.$tc'Foo6 = "'Foo1"#
181
182 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
183 T7360.$tc'Foo5 :: GHC.Types.TrName
184 [GblId,
185  Caf=NoCafRefs,
186  Str=m1,
187  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
188          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
189 T7360.$tc'Foo5 = GHC.Types.TrNameS T7360.$tc'Foo6
190
191 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
192 T7360.$tc'Foo1 :: GHC.Types.TyCon
193 [GblId,
194  Caf=NoCafRefs,
195  Str=m,
196  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
197          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
198 T7360.$tc'Foo1
199   = GHC.Types.TyCon
200       3986951253261644518##
201       2515097940992351150##
202       T7360.$trModule
203       T7360.$tc'Foo5
204       0#
205       T7360.$tc'Foo4
206
207 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
208 T7360.$tc'Foo8 :: 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'Foo8 = "'Foo2"#
214
215 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
216 T7360.$tc'Foo7 :: 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'Foo7 = GHC.Types.TrNameS T7360.$tc'Foo8
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'Foo7
237       0#
238       T7360.$tc'Foo4
239
240 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
241 T7360.$tc'Foo9 [InlPrag=[~]] :: GHC.Types.KindRep
242 [GblId, Caf=NoCafRefs, Str=m4]
243 T7360.$tc'Foo9 = GHC.Types.KindRepFun $krep T7360.$tc'Foo4
244
245 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
246 T7360.$tc'Foo11 :: GHC.Prim.Addr#
247 [GblId,
248  Caf=NoCafRefs,
249  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
250          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
251 T7360.$tc'Foo11 = "'Foo3"#
252
253 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
254 T7360.$tc'Foo10 :: GHC.Types.TrName
255 [GblId,
256  Caf=NoCafRefs,
257  Str=m1,
258  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
259          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
260 T7360.$tc'Foo10 = GHC.Types.TrNameS T7360.$tc'Foo11
261
262 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
263 T7360.$tc'Foo3 :: GHC.Types.TyCon
264 [GblId,
265  Caf=NoCafRefs,
266  Str=m,
267  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
268          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
269 T7360.$tc'Foo3
270   = GHC.Types.TyCon
271       3674231676522181654##
272       2694749919371021431##
273       T7360.$trModule
274       T7360.$tc'Foo10
275       0#
276       T7360.$tc'Foo9
277
278
279