Ticket #2762: Main.hs.STGsyntax-0

File Main.hs.STGsyntax-0, 21.5 KB (added by batterseapower, 16 months ago)

Atom STG output for compiler without arity analysis

Line 
1Main.a = NO_CCS GHC.Types.F#! [__float 0.0];
2SRT(Main.a): []
3Main.a1 =
4    \u []
5        GHC.Base.unpackCString#
6            "Pattern match failure in do expression at /Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:27:1-5";
7SRT(Main.a1): []
8Main.a2 =
9    NO_CCS GHC.IOBase.IOError! [Data.Maybe.Nothing
10                                GHC.IOBase.UserError
11                                GHC.Types.[]
12                                Main.a1
13                                Data.Maybe.Nothing];
14SRT(Main.a2): []
15Main.a3 =
16    NO_CCS GHC.Exception.SomeException! [GHC.IOBase.$f5 Main.a2];
17SRT(Main.a3): []
18Main.a4 =
19    \r srt:(0,*bitmap*) [eta_s1y4] raiseIO# [Main.a3 eta_s1y4];
20SRT(Main.a4): [Main.a3]
21a5_r1xI = NO_CCS GHC.Types.C#! ['\n'];
22SRT(a5_r1xI): []
23a6_r1xK = NO_CCS GHC.Types.C#! ['\t'];
24SRT(a6_r1xK): []
25lvl_r1xM = NO_CCS GHC.Types.F#! [__float -1.0];
26SRT(lvl_r1xM): []
27lvl1_r1xO =
28    \u srt:(0,*bitmap*) []
29        Control.Exception.Base.patError
30            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:169:1-38|function negate";
31SRT(lvl1_r1xO): [Control.Exception.Base.patError]
32lvl2_r1xQ =
33    \u srt:(0,*bitmap*) []
34        Control.Exception.Base.patError
35            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:169:1-38|function negate";
36SRT(lvl2_r1xQ): [Control.Exception.Base.patError]
37Main.lvl3 = NO_CCS :! [Main.a GHC.Types.[]];
38SRT(Main.lvl3): []
39Main.lvl4 = NO_CCS GHC.Integer.Internals.S#! [0];
40SRT(Main.lvl4): []
41lvl5_r1xS = NO_CCS :! [a5_r1xI GHC.Types.[]];
42SRT(lvl5_r1xS): []
43lvl6_r1xU = NO_CCS :! [a6_r1xK GHC.Types.[]];
44SRT(lvl6_r1xU): []
45Main.go =
46    \r srt:(0,*bitmap*) [ds_s1yg]
47        case ds_s1yg of wild_s1Gz {
48          [] -> [] [];
49          : y_s1yk ys_s1yn ->
50              let {
51                sat_s1yr =
52                    \u srt:(0,*bitmap*) []
53                        let { sat_s1yp = \u srt:(0,*bitmap*) [] Main.go ys_s1yn;
54                        } in  GHC.Base.++ lvl6_r1xU sat_s1yp;
55              } in
56                case GHC.Float.a17 y_s1yk of sat_s1ym {
57                  __DEFAULT -> GHC.Base.++ sat_s1ym sat_s1yr;
58                };
59        };
60SRT(Main.go): [Main.go, GHC.Float.a17]
61Main.$wshow = \r srt:(0,*bitmap*) [ww_s1yu] Main.go ww_s1yu;
62SRT(Main.$wshow): [Main.go]
63Main..*1 =
64    \r [c_s1yC ds_s1yy]
65        case ds_s1yy of wild_s1GA {
66          [] -> [] [];
67          : f_s1yD fs_s1yG ->
68              let { sat_s1yI = \u [] Main..*1 c_s1yC fs_s1yG; } in
69              let { sat_s1yF = \u [] GHC.Float.timesFloat c_s1yC f_s1yD;
70              } in  : [sat_s1yF sat_s1yI];
71        };
72SRT(Main..*1): []
73Main.$s.* = \r [eta_s1yM eta1_s1yN] Main..*1 eta_s1yM eta1_s1yN;
74SRT(Main.$s.*): []
75Main.$sfromInteger =
76    \r [c_s1yQ]
77        let { sat_s1yS = \u [] GHC.Float.fromInteger c_s1yQ;
78        } in  : [sat_s1yS Main.lvl3];
79SRT(Main.$sfromInteger): []
80Main.$s+ =
81    \r [l_s1yY ds_s1yW]
82        case ds_s1yW of wild_s1z2 {
83          [] -> l_s1yY;
84          : ipv_s1z6 ipv1_s1za ->
85              case l_s1yY of wild1_s1GB {
86                [] -> wild_s1z2;
87                : f_s1z5 fs_s1z9 ->
88                    let { sat_s1zc = \u [] Main.$s+ fs_s1z9 ipv1_s1za; } in
89                    let { sat_s1z8 = \u [] GHC.Float.plusFloat f_s1z5 ipv_s1z6;
90                    } in  : [sat_s1z8 sat_s1zc];
91              };
92        };
93SRT(Main.$s+): []
94Main.$wpropagate =
95    \r [w_s1zj w1_s1zp ww_s1zi ww1_s1zk]
96        let {
97          sat_s1zt =
98              \u []
99                  case Main..*1 w_s1zj w1_s1zp of sat_s1zr {
100                    __DEFAULT -> Main.$s+ ww1_s1zk sat_s1zr;
101                  }; } in
102        let {
103          sat_s1zo =
104              \u []
105                  case Main..*1 w_s1zj ww1_s1zk of sat_s1zm {
106                    __DEFAULT -> Main.$s+ ww_s1zi sat_s1zm;
107                  };
108        } in  (#,#) [sat_s1zo sat_s1zt];
109SRT(Main.$wpropagate): []
110Main.$s* =
111    \r [ds_s1zB ds1_s1zx]
112        case ds1_s1zx of wild_s1GC {
113          [] -> [] [];
114          : ipv_s1zG ipv1_s1zJ ->
115              case ds_s1zB of wild1_s1GD {
116                [] -> [] [];
117                : f_s1zF fs_s1GE ->
118                    let { sat_s1zL = \u [] Main.$s* ipv1_s1zJ ipv1_s1zJ; } in
119                    let { sat_s1zI = \u [] GHC.Float.timesFloat f_s1zF ipv_s1zG;
120                    } in  : [sat_s1zI sat_s1zL];
121              };
122        };
123SRT(Main.$s*): []
124Main.$snegate =
125    \r srt:(0,*bitmap*) [ds_s1zO]
126        case ds_s1zO of wild_s1GF {
127          [] -> lvl2_r1xQ;
128          : f_s1zS fs_s1zV ->
129              let { sat_s1zX = \u srt:(0,*bitmap*) [] Main.$snegate fs_s1zV; } in
130              let { sat_s1zU = \u [] GHC.Float.negateFloat f_s1zS;
131              } in  : [sat_s1zU sat_s1zX];
132        };
133SRT(Main.$snegate): [Main.$snegate, lvl2_r1xQ]
134$dShow_s1A3 =
135    \u srt:(0,*bitmap*) []
136        let {
137          sat_s1A1 = \u srt:(0,*bitmap*) [] GHC.Num.$p2Num GHC.Float.$f18;
138        } in  GHC.Show.$f20 sat_s1A1;
139SRT($dShow_s1A3): [GHC.Float.$f18, GHC.Show.$f20]
140$dEq_s1A8 =
141    \u srt:(0,*bitmap*) []
142        let {
143          sat_s1A6 = \u srt:(0,*bitmap*) [] GHC.Num.$p1Num GHC.Float.$f18;
144        } in  GHC.Base.$f12 sat_s1A6;
145SRT($dEq_s1A8): [GHC.Float.$f18]
146a7_s1Ab =
147    \u srt:(0,*bitmap*) []
148        Control.Exception.Base.noMethodBindingError
149            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.signum";
150SRT(a7_s1Ab): [Control.Exception.Base.noMethodBindingError]
151a8_s1Ae =
152    \u srt:(0,*bitmap*) []
153        Control.Exception.Base.noMethodBindingError
154            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.abs";
155SRT(a8_s1Ae): [Control.Exception.Base.noMethodBindingError]
156$dNum_s1Ao =
157    NO_CCS GHC.Num.D:Num! [$dEq_s1A8
158                           $dShow_s1A3
159                           Main.$s+
160                           Main.$s*
161                           a9_s1Ai
162                           Main.$snegate
163                           a8_s1Ae
164                           a7_s1Ab
165                           Main.$sfromInteger];
166a9_s1Ai =
167    \r srt:(0,*bitmap*) [eta_s1Ap eta_s1Aq]
168        GHC.Num.$dm- $dNum_s1Ao eta_s1Ap eta_s1Aq;
169SRT($dNum_s1Ao): []
170SRT(a9_s1Ai): [$dNum_s1Ao]
171Main.$s$f1 = \u srt:(0,*bitmap*) [] $dNum_s1Ao;
172SRT(Main.$s$f1): [$dNum_s1Ao]
173Main.propagate =
174    \r [w_s1Az w1_s1AA w2_s1Av]
175        case w2_s1Av of w3_s1GG {
176          Main.State ww_s1AB ww1_s1AC ->
177              case Main.$wpropagate w_s1Az w1_s1AA ww_s1AB ww1_s1AC of ww2_s1GH {
178                (#,#) ww3_s1AG ww4_s1AH -> Main.State [ww3_s1AG ww4_s1AH];
179              };
180        };
181SRT(Main.propagate): []
182Main.runExperiment =
183    \r [law_s1AP dt_s1AQ param_s1AR init_s1AN]
184        let {
185          sat_s1AZ =
186              \u []
187                  let {
188                    stream_s1AT =
189                        \u [] Main.runExperiment law_s1AP dt_s1AQ param_s1AR init_s1AN;
190                  } in
191                    case law_s1AP param_s1AR stream_s1AT of sat_s1AX {
192                      __DEFAULT ->
193                          let { sat_s1AV = \u [] Main.propagate dt_s1AQ;
194                          } in  GHC.List.zipWith sat_s1AV sat_s1AX stream_s1AT;
195                    };
196        } in  : [init_s1AN sat_s1AZ];
197SRT(Main.runExperiment): []
198Main.testforce =
199    \r [k_s1Bb ds_s1B3]
200        case ds_s1B3 of wild_s1GI {
201          [] -> [] [];
202          : ds1_s1B7 atoms_s1Bh ->
203              case ds1_s1B7 of wild1_s1GJ {
204                Main.State pos_s1Be vel_s1GK ->
205                    let { sat_s1Bj = \u [] Main.testforce k_s1Bb atoms_s1Bh; } in
206                    let {
207                      sat_s1Bg =
208                          \u []
209                              let { sat_s1Bd = \u [] Main..*1 lvl_r1xM k_s1Bb;
210                              } in  Main.$s* sat_s1Bd pos_s1Be;
211                    } in  : [sat_s1Bg sat_s1Bj];
212              };
213        };
214SRT(Main.testforce): []
215Main.lvl7 = NO_CCS GHC.Types.F#! [__float 2.0e-2];
216SRT(Main.lvl7): []
217Main.lvl8 = NO_CCS GHC.Types.F#! [__float 1.0];
218SRT(Main.lvl8): []
219Main.lvl9 = NO_CCS :! [Main.lvl8 GHC.Types.[]];
220SRT(Main.lvl9): []
221Main.lvl10 = NO_CCS Main.State! [Main.lvl9 Main.lvl3];
222SRT(Main.lvl10): []
223Main.test =
224    \u []
225        Main.runExperiment Main.testforce Main.lvl7 Main.lvl9 Main.lvl10;
226SRT(Main.test): []
227Main..* =
228    \r [$dNum_s1BB eta_s1BV eta1_s1BW]
229        let {
230          .*2_s1BS =
231              sat-only \r [c_s1BM ds_s1Bx]
232                  case ds_s1Bx of wild_s1GL {
233                    [] -> [] [];
234                    : f_s1BN fs_s1BR ->
235                        let { sat_s1BU = \u [] .*2_s1BS c_s1BM fs_s1BR; } in
236                        let {
237                          sat_s1BQ =
238                              \u []
239                                  case $dNum_s1BB of tpl_s1GM {
240                                    GHC.Num.D:Num tpl1_s1GN
241                                                  tpl2_s1GO
242                                                  tpl3_s1GP
243                                                  tpl4_s1BO
244                                                  tpl5_s1GQ
245                                                  tpl6_s1GR
246                                                  tpl7_s1GS
247                                                  tpl8_s1GT
248                                                  tpl9_s1GU ->
249                                        tpl4_s1BO c_s1BM f_s1BN;
250                                  };
251                        } in  : [sat_s1BQ sat_s1BU];
252                  };
253        } in  .*2_s1BS eta_s1BV eta1_s1BW;
254SRT(Main..*): []
255Main.show =
256    \r srt:(0,*bitmap*) [w_s1BZ]
257        case w_s1BZ of w1_s1GV {
258          Main.State ww_s1C3 ww1_s1GW -> Main.$wshow ww_s1C3;
259        };
260SRT(Main.show): [Main.go]
261Main.go1 =
262    \r srt:(0,*bitmap*) [ds_s1C6]
263        case ds_s1C6 of wild_s1GX {
264          [] -> [] [];
265          : y_s1Ca ys_s1Cd ->
266              let {
267                sat_s1Ch =
268                    \u srt:(0,*bitmap*) []
269                        let { sat_s1Cf = \u srt:(0,*bitmap*) [] Main.go1 ys_s1Cd;
270                        } in  GHC.Base.++ lvl5_r1xS sat_s1Cf;
271              } in
272                case Main.show y_s1Ca of sat_s1Cc {
273                  __DEFAULT -> GHC.Base.++ sat_s1Cc sat_s1Ch;
274                };
275        };
276SRT(Main.go1): [Main.go1, Main.go]
277Main.showList =
278    \r srt:(0,*bitmap*) [states_s1Ck]
279        let { sat_s1Cm = \u srt:(0,*bitmap*) [] Main.go1 states_s1Ck;
280        } in  GHC.Base.++ sat_s1Cm;
281SRT(Main.showList): [Main.go1]
282Main.a7 =
283    \r srt:(0,*bitmap*) [s_s1Cp]
284        case System.Environment.a2 s_s1Cp of wild_s1GY {
285          (#,#) new_s_s1Cv a52_s1Ct ->
286              case a52_s1Ct of wild1_s1GZ {
287                [] -> Main.a4 new_s_s1Cv;
288                : arg_s1CA ds_s1Cy ->
289                    case ds_s1Cy of wild2_s1H0 {
290                      [] ->
291                          let {
292                            sat_s1CL =
293                                \u srt:(0,*bitmap*) []
294                                    case
295                                        Text.Read.$wread GHC.Read.readPrec1 arg_s1CA
296                                    of
297                                    wild3_s1H1
298                                    { GHC.Types.I# n#_s1CD ->
299                                          case
300                                              case <=# [n#_s1CD 0] of wild11_s1H2 {
301                                                GHC.Bool.False ->
302                                                    case >=# [n#_s1CD 0] of wild4_s1H3 {
303                                                      GHC.Bool.False -> [] [];
304                                                      GHC.Bool.True ->
305                                                          GHC.List.take_unsafe_UInt
306                                                              n#_s1CD Main.test;
307                                                    };
308                                                GHC.Bool.True -> [] [];
309                                              }
310                                          of
311                                          sat_s1CH
312                                          { __DEFAULT ->
313                                                case Main.go1 sat_s1CH of sat_s1CJ {
314                                                  __DEFAULT -> GHC.Base.++ sat_s1CJ GHC.Types.[];
315                                                };
316                                          };
317                                    };
318                          } in  GHC.IO.a28 GHC.Handle.stdout sat_s1CL new_s_s1Cv;
319                      : ipv_s1H4 ipv1_s1H5 -> Main.a4 new_s_s1Cv;
320                    };
321              };
322        };
323SRT(Main.a7): [Main.test, Main.go1, GHC.Read.readPrec1,
324               Text.Read.$wread, GHC.Handle.stdout, GHC.IO.a28, Main.a3]
325Main.main = \r srt:(0,*bitmap*) [eta_s1CR] Main.a7 eta_s1CR;
326SRT(Main.main): [Main.a7]
327Main.a8 =
328    \r srt:(0,*bitmap*) [eta_s1CV] GHC.TopHandler.a4 Main.a7 eta_s1CV;
329SRT(Main.a8): [Main.a7, GHC.TopHandler.a4]
330Main.a9 =
331    \r srt:(0,*bitmap*) [ds_s1H6 x_s1D0 s_s1D3]
332        case Main.show x_s1D0 of sat_s1D2 {
333          __DEFAULT -> GHC.Base.++ sat_s1D2 s_s1D3;
334        };
335SRT(Main.a9): [Main.go]
336Main.$f2 =
337    NO_CCS GHC.Show.D:Show! [Main.a9 Main.show Main.showList];
338SRT(Main.$f2): []
339Main.fromInteger =
340    \r [$dNum_s1D8]
341        let {
342          a10_s1Dl =
343              \u []
344                  case $dNum_s1D8 of tpl_s1H7 {
345                    GHC.Num.D:Num tpl1_s1H8
346                                  tpl2_s1H9
347                                  tpl3_s1Ha
348                                  tpl4_s1Hb
349                                  tpl5_s1Hc
350                                  tpl6_s1Hd
351                                  tpl7_s1He
352                                  tpl8_s1Hf
353                                  tpl9_s1Dj ->
354                        tpl9_s1Dj Main.lvl4;
355                  }; } in
356        let { lvl11_s1Do = NO_CCS :! [a10_s1Dl GHC.Types.[]]; } in
357        let {
358          sat_s1Hg =
359              \r [c_s1DA]
360                  let {
361                    sat_s1DD =
362                        \u []
363                            case $dNum_s1D8 of tpl_s1DM {
364                              GHC.Num.D:Num tpl1_s1DL
365                                            tpl2_s1DK
366                                            tpl3_s1DJ
367                                            tpl4_s1DI
368                                            tpl5_s1DH
369                                            tpl6_s1DG
370                                            tpl7_s1DF
371                                            tpl8_s1DE
372                                            tpl9_s1DB ->
373                                  tpl9_s1DB c_s1DA;
374                            };
375                  } in  : [sat_s1DD lvl11_s1Do];
376        } in  sat_s1Hg;
377SRT(Main.fromInteger): []
378Main.negate =
379    \r srt:(0,*bitmap*) [$dNum_s1DR]
380        let {
381          a10_s1DT = \u srt:(0,*bitmap*) [] Main.negate $dNum_s1DR; } in
382        let {
383          sat_s1Hh =
384              \r srt:(1,*bitmap*) [ds_s1DV]
385                  case ds_s1DV of wild_s1Hi {
386                    [] -> lvl1_r1xO;
387                    : f_s1E9 fs_s1Ed ->
388                        let { sat_s1Ef = \u [] a10_s1DT fs_s1Ed; } in
389                        let {
390                          sat_s1Ec =
391                              \u []
392                                  case $dNum_s1DR of tpl_s1Hj {
393                                    GHC.Num.D:Num tpl1_s1Hk
394                                                  tpl2_s1Hl
395                                                  tpl3_s1Hm
396                                                  tpl4_s1Hn
397                                                  tpl5_s1Ho
398                                                  tpl6_s1Ea
399                                                  tpl7_s1Hp
400                                                  tpl8_s1Hq
401                                                  tpl9_s1Hr ->
402                                        tpl6_s1Ea f_s1E9;
403                                  };
404                        } in  : [sat_s1Ec sat_s1Ef];
405                  };
406        } in  sat_s1Hh;
407SRT(Main.negate): [Main.negate, lvl1_r1xO]
408Main.* =
409    \r [$dNum_s1Ek]
410        let { a10_s1Em = \u [] Main.* $dNum_s1Ek; } in
411        let {
412          sat_s1Hs =
413              \r [ds_s1Et ds1_s1Ep]
414                  case ds1_s1Ep of wild_s1Ht {
415                    [] -> [] [];
416                    : ipv_s1EI ipv1_s1EM ->
417                        case ds_s1Et of wild1_s1Hu {
418                          [] -> [] [];
419                          : f_s1EH fs_s1Hv ->
420                              let { sat_s1EO = \u [] a10_s1Em ipv1_s1EM ipv1_s1EM; } in
421                              let {
422                                sat_s1EL =
423                                    \u []
424                                        case $dNum_s1Ek of tpl_s1Hw {
425                                          GHC.Num.D:Num tpl1_s1Hx
426                                                        tpl2_s1Hy
427                                                        tpl3_s1Hz
428                                                        tpl4_s1EJ
429                                                        tpl5_s1HA
430                                                        tpl6_s1HB
431                                                        tpl7_s1HC
432                                                        tpl8_s1HD
433                                                        tpl9_s1HE ->
434                                              tpl4_s1EJ f_s1EH ipv_s1EI;
435                                        };
436                              } in  : [sat_s1EL sat_s1EO];
437                        };
438                  };
439        } in  sat_s1Hs;
440SRT(Main.*): []
441Main.<*> =
442    \r [$dNum_s1ET]
443        let { sum_s1EV = \u [] Data.List.sum $dNum_s1ET; } in
444        let { a10_s1EY = \u [] Main.* $dNum_s1ET; } in
445        let {
446          sat_s1HF =
447              \r [f_s1F1 g_s1F2]
448                  let { sat_s1F4 = \u [] a10_s1EY f_s1F1 g_s1F2;
449                  } in  sum_s1EV sat_s1F4;
450        } in  sat_s1HF;
451SRT(Main.<*>): []
452Main.+ =
453    \r [$dNum_s1F9]
454        let { a10_s1Fb = \u [] Main.+ $dNum_s1F9; } in
455        let {
456          sat_s1HG =
457              \r [l_s1Fg ds_s1Fe]
458                  case ds_s1Fe of wild_s1Fk {
459                    [] -> l_s1Fg;
460                    : ipv_s1Fy ipv1_s1FD ->
461                        case l_s1Fg of wild1_s1HH {
462                          [] -> wild_s1Fk;
463                          : f_s1Fx fs_s1FC ->
464                              let { sat_s1FF = \u [] a10_s1Fb fs_s1FC ipv1_s1FD; } in
465                              let {
466                                sat_s1FB =
467                                    \u []
468                                        case $dNum_s1F9 of tpl_s1HI {
469                                          GHC.Num.D:Num tpl1_s1HJ
470                                                        tpl2_s1HK
471                                                        tpl3_s1Fz
472                                                        tpl4_s1HL
473                                                        tpl5_s1HM
474                                                        tpl6_s1HN
475                                                        tpl7_s1HO
476                                                        tpl8_s1HP
477                                                        tpl9_s1HQ ->
478                                              tpl3_s1Fz f_s1Fx ipv_s1Fy;
479                                        };
480                              } in  : [sat_s1FB sat_s1FF];
481                        };
482                  };
483        } in  sat_s1HG;
484SRT(Main.+): []
485Main.$f1 =
486    \r srt:(0,*bitmap*) [$dNum_s1FK]
487        let {
488          $dShow_s1FO =
489              \u srt:(2,*bitmap*) []
490                  let { sat_s1FM = \u [] GHC.Num.$p2Num $dNum_s1FK;
491                  } in  GHC.Show.$f20 sat_s1FM; } in
492        let {
493          $dEq_s1FT =
494              \u []
495                  let { sat_s1FR = \u [] GHC.Num.$p1Num $dNum_s1FK;
496                  } in  GHC.Base.$f12 sat_s1FR; } in
497        let { a10_s1FW = \u [] Main.fromInteger $dNum_s1FK; } in
498        let {
499          a11_s1FZ =
500              \u srt:(0,*bitmap*) []
501                  Control.Exception.Base.noMethodBindingError
502                      "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.signum"; } in
503        let {
504          a12_s1G2 =
505              \u srt:(0,*bitmap*) []
506                  Control.Exception.Base.noMethodBindingError
507                      "/Users/mbolingbroke/Programming/Checkouts/closureelimination/working/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.abs"; } in
508        let {
509          a13_s1G5 = \u srt:(1,*bitmap*) [] Main.negate $dNum_s1FK; } in
510        let { a14_s1G8 = \u [] Main.* $dNum_s1FK; } in
511        let { a15_s1Gb = \u [] Main.+ $dNum_s1FK; } in
512        let {
513          $dNum1_s1Gl =
514              NO_CCS GHC.Num.D:Num! [$dEq_s1FT
515                                     $dShow_s1FO
516                                     a15_s1Gb
517                                     a14_s1G8
518                                     a16_s1Gf
519                                     a13_s1G5
520                                     a12_s1G2
521                                     a11_s1FZ
522                                     a10_s1FW];
523          a16_s1Gf =
524              \r [eta_s1Gm eta_s1Gn] GHC.Num.$dm- $dNum1_s1Gl eta_s1Gm eta_s1Gn;
525        } in  $dNum1_s1Gl;
526SRT(Main.$f1): [Control.Exception.Base.noMethodBindingError,
527                Main.negate, GHC.Show.$f20]
528:Main.main = \r srt:(0,*bitmap*) [eta_s1Gr] Main.a8 eta_s1Gr;
529SRT(:Main.main): [Main.a8]
530Main.State = \r [eta_s1Gx eta_s1Gy] Main.State [eta_s1Gx eta_s1Gy];
531SRT(Main.State): []