Ticket #2762: Main.hs.2.STGsyntax-0

File Main.hs.2.STGsyntax-0, 20.5 KB (added by batterseapower, 3 years ago)

Atom STG output for compiler with arity analysis version B (aka "Initial")

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/arity-def-site/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_s1GU] raiseIO# [Main.a3 eta_s1GU];
20SRT(Main.a4): [Main.a3]
21a5_r1Gy = NO_CCS GHC.Types.C#! ['\n'];
22SRT(a5_r1Gy): []
23a6_r1GA = NO_CCS GHC.Types.C#! ['\t'];
24SRT(a6_r1GA): []
25lvl_r1GC = NO_CCS GHC.Types.F#! [__float -1.0];
26SRT(lvl_r1GC): []
27lvl1_r1GE =
28    \u srt:(0,*bitmap*) []
29        Control.Exception.Base.patError
30            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:169:1-38|function negate";
31SRT(lvl1_r1GE): [Control.Exception.Base.patError]
32lvl2_r1GG =
33    \u srt:(0,*bitmap*) []
34        Control.Exception.Base.patError
35            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:169:1-38|function negate";
36SRT(lvl2_r1GG): [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_r1GI = NO_CCS :! [a5_r1Gy GHC.Types.[]];
42SRT(lvl5_r1GI): []
43lvl6_r1GK = NO_CCS :! [a6_r1GA GHC.Types.[]];
44SRT(lvl6_r1GK): []
45Main.go =
46    \r srt:(0,*bitmap*) [ds_s1H6]
47        case ds_s1H6 of wild_s1Pj {
48          [] -> [] [];
49          : y_s1Ha ys_s1Hd ->
50              let {
51                sat_s1Hh =
52                    \u srt:(0,*bitmap*) []
53                        let { sat_s1Hf = \u srt:(0,*bitmap*) [] Main.go ys_s1Hd;
54                        } in  GHC.Base.++ lvl6_r1GK sat_s1Hf;
55              } in
56                case GHC.Float.a17 y_s1Ha of sat_s1Hc {
57                  __DEFAULT -> GHC.Base.++ sat_s1Hc sat_s1Hh;
58                };
59        };
60SRT(Main.go): [Main.go, GHC.Float.a17]
61Main.$wshow = \r srt:(0,*bitmap*) [ww_s1Hk] Main.go ww_s1Hk;
62SRT(Main.$wshow): [Main.go]
63Main..*1 =
64    \r [c_s1Hs ds_s1Ho]
65        case ds_s1Ho of wild_s1Pk {
66          [] -> [] [];
67          : f_s1Ht fs_s1Hw ->
68              let { sat_s1Hy = \u [] Main..*1 c_s1Hs fs_s1Hw; } in
69              let { sat_s1Hv = \u [] GHC.Float.timesFloat c_s1Hs f_s1Ht;
70              } in  : [sat_s1Hv sat_s1Hy];
71        };
72SRT(Main..*1): []
73Main.$s.* = \r [eta_s1HC eta1_s1HD] Main..*1 eta_s1HC eta1_s1HD;
74SRT(Main.$s.*): []
75Main.$sfromInteger =
76    \r [c_s1HG]
77        let { sat_s1HI = \u [] GHC.Float.fromInteger c_s1HG;
78        } in  : [sat_s1HI Main.lvl3];
79SRT(Main.$sfromInteger): []
80Main.$snegate =
81    \r srt:(0,*bitmap*) [ds_s1HL]
82        case ds_s1HL of wild_s1Pl {
83          [] -> lvl2_r1GG;
84          : f_s1HP fs_s1HS ->
85              let { sat_s1HU = \u srt:(0,*bitmap*) [] Main.$snegate fs_s1HS; } in
86              let { sat_s1HR = \u [] GHC.Float.negateFloat f_s1HP;
87              } in  : [sat_s1HR sat_s1HU];
88        };
89SRT(Main.$snegate): [Main.$snegate, lvl2_r1GG]
90Main.$s* =
91    \r [ds_s1I2 ds1_s1HY]
92        case ds1_s1HY of wild_s1Pm {
93          [] -> [] [];
94          : ipv_s1I7 ipv1_s1Ia ->
95              case ds_s1I2 of wild1_s1Pn {
96                [] -> [] [];
97                : f_s1I6 fs_s1Po ->
98                    let { sat_s1Ic = \u [] Main.$s* ipv1_s1Ia ipv1_s1Ia; } in
99                    let { sat_s1I9 = \u [] GHC.Float.timesFloat f_s1I6 ipv_s1I7;
100                    } in  : [sat_s1I9 sat_s1Ic];
101              };
102        };
103SRT(Main.$s*): []
104Main.$s+ =
105    \r [l_s1Ii ds_s1Ig]
106        case ds_s1Ig of wild_s1Im {
107          [] -> l_s1Ii;
108          : ipv_s1Iq ipv1_s1Iu ->
109              case l_s1Ii of wild1_s1Pp {
110                [] -> wild_s1Im;
111                : f_s1Ip fs_s1It ->
112                    let { sat_s1Iw = \u [] Main.$s+ fs_s1It ipv1_s1Iu; } in
113                    let { sat_s1Is = \u [] GHC.Float.plusFloat f_s1Ip ipv_s1Iq;
114                    } in  : [sat_s1Is sat_s1Iw];
115              };
116        };
117SRT(Main.$s+): []
118$dShow_s1IC =
119    \u srt:(0,*bitmap*) []
120        let {
121          sat_s1IA = \u srt:(0,*bitmap*) [] GHC.Num.$p2Num GHC.Float.$f18;
122        } in  GHC.Show.$f20 sat_s1IA;
123SRT($dShow_s1IC): [GHC.Float.$f18, GHC.Show.$f20]
124$dEq_s1IH =
125    \u srt:(0,*bitmap*) []
126        let {
127          sat_s1IF = \u srt:(0,*bitmap*) [] GHC.Num.$p1Num GHC.Float.$f18;
128        } in  GHC.Base.$f12 sat_s1IF;
129SRT($dEq_s1IH): [GHC.Float.$f18]
130a7_s1IK =
131    \u srt:(0,*bitmap*) []
132        Control.Exception.Base.noMethodBindingError
133            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.signum";
134SRT(a7_s1IK): [Control.Exception.Base.noMethodBindingError]
135a8_s1IN =
136    \u srt:(0,*bitmap*) []
137        Control.Exception.Base.noMethodBindingError
138            "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.abs";
139SRT(a8_s1IN): [Control.Exception.Base.noMethodBindingError]
140$dNum_s1IX =
141    NO_CCS GHC.Num.D:Num! [$dEq_s1IH
142                           $dShow_s1IC
143                           Main.$s+
144                           Main.$s*
145                           a9_s1IR
146                           Main.$snegate
147                           a8_s1IN
148                           a7_s1IK
149                           Main.$sfromInteger];
150a9_s1IR =
151    \r srt:(0,*bitmap*) [eta_s1IY eta_s1IZ]
152        GHC.Num.$dm- $dNum_s1IX eta_s1IY eta_s1IZ;
153SRT($dNum_s1IX): []
154SRT(a9_s1IR): [$dNum_s1IX]
155Main.$s$f1 = \u srt:(0,*bitmap*) [] $dNum_s1IX;
156SRT(Main.$s$f1): [$dNum_s1IX]
157Main.$wpropagate =
158    \r [w_s1J6 w1_s1Jc ww_s1J5 ww1_s1J7]
159        let {
160          sat_s1Jg =
161              \u []
162                  case Main..*1 w_s1J6 w1_s1Jc of sat_s1Je {
163                    __DEFAULT -> Main.$s+ ww1_s1J7 sat_s1Je;
164                  }; } in
165        let {
166          sat_s1Jb =
167              \u []
168                  case Main..*1 w_s1J6 ww1_s1J7 of sat_s1J9 {
169                    __DEFAULT -> Main.$s+ ww_s1J5 sat_s1J9;
170                  };
171        } in  (#,#) [sat_s1Jb sat_s1Jg];
172SRT(Main.$wpropagate): []
173Main.propagate =
174    \r [w_s1Jp w1_s1Jq w2_s1Jl]
175        case w2_s1Jl of w3_s1Pq {
176          Main.State ww_s1Jr ww1_s1Js ->
177              case Main.$wpropagate w_s1Jp w1_s1Jq ww_s1Jr ww1_s1Js of ww2_s1Pr {
178                (#,#) ww3_s1Jw ww4_s1Jx -> Main.State [ww3_s1Jw ww4_s1Jx];
179              };
180        };
181SRT(Main.propagate): []
182Main.runExperiment =
183    \r [law_s1JF dt_s1JG param_s1JH init_s1JD]
184        let {
185          sat_s1JP =
186              \u []
187                  let {
188                    stream_s1JJ =
189                        \u [] Main.runExperiment law_s1JF dt_s1JG param_s1JH init_s1JD;
190                  } in
191                    case law_s1JF param_s1JH stream_s1JJ of sat_s1JN {
192                      __DEFAULT ->
193                          let { sat_s1JL = \u [] Main.propagate dt_s1JG;
194                          } in  GHC.List.zipWith sat_s1JL sat_s1JN stream_s1JJ;
195                    };
196        } in  : [init_s1JD sat_s1JP];
197SRT(Main.runExperiment): []
198Main.testforce =
199    \r [k_s1K1 ds_s1JT]
200        case ds_s1JT of wild_s1Ps {
201          [] -> [] [];
202          : ds1_s1JX atoms_s1K7 ->
203              case ds1_s1JX of wild1_s1Pt {
204                Main.State pos_s1K4 vel_s1Pu ->
205                    let { sat_s1K9 = \u [] Main.testforce k_s1K1 atoms_s1K7; } in
206                    let {
207                      sat_s1K6 =
208                          \u []
209                              let { sat_s1K3 = \u [] Main..*1 lvl_r1GC k_s1K1;
210                              } in  Main.$s* sat_s1K3 pos_s1K4;
211                    } in  : [sat_s1K6 sat_s1K9];
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_s1Kr eta_s1KL eta1_s1KM]
229        let {
230          .*2_s1KI =
231              sat-only \r [c_s1KC ds_s1Kn]
232                  case ds_s1Kn of wild_s1Pv {
233                    [] -> [] [];
234                    : f_s1KD fs_s1KH ->
235                        let { sat_s1KK = \u [] .*2_s1KI c_s1KC fs_s1KH; } in
236                        let {
237                          sat_s1KG =
238                              \u []
239                                  case $dNum_s1Kr of tpl_s1Pw {
240                                    GHC.Num.D:Num tpl1_s1Px
241                                                  tpl2_s1Py
242                                                  tpl3_s1Pz
243                                                  tpl4_s1KE
244                                                  tpl5_s1PA
245                                                  tpl6_s1PB
246                                                  tpl7_s1PC
247                                                  tpl8_s1PD
248                                                  tpl9_s1PE ->
249                                        tpl4_s1KE c_s1KC f_s1KD;
250                                  };
251                        } in  : [sat_s1KG sat_s1KK];
252                  };
253        } in  .*2_s1KI eta_s1KL eta1_s1KM;
254SRT(Main..*): []
255Main.show =
256    \r srt:(0,*bitmap*) [w_s1KP]
257        case w_s1KP of w1_s1PF {
258          Main.State ww_s1KT ww1_s1PG -> Main.$wshow ww_s1KT;
259        };
260SRT(Main.show): [Main.go]
261Main.go1 =
262    \r srt:(0,*bitmap*) [ds_s1KW]
263        case ds_s1KW of wild_s1PH {
264          [] -> [] [];
265          : y_s1L0 ys_s1L3 ->
266              let {
267                sat_s1L7 =
268                    \u srt:(0,*bitmap*) []
269                        let { sat_s1L5 = \u srt:(0,*bitmap*) [] Main.go1 ys_s1L3;
270                        } in  GHC.Base.++ lvl5_r1GI sat_s1L5;
271              } in
272                case Main.show y_s1L0 of sat_s1L2 {
273                  __DEFAULT -> GHC.Base.++ sat_s1L2 sat_s1L7;
274                };
275        };
276SRT(Main.go1): [Main.go1, Main.go]
277Main.showList =
278    \r srt:(0,*bitmap*) [states_s1La]
279        let { sat_s1Lc = \u srt:(0,*bitmap*) [] Main.go1 states_s1La;
280        } in  GHC.Base.++ sat_s1Lc;
281SRT(Main.showList): [Main.go1]
282Main.a7 =
283    \r srt:(0,*bitmap*) [s_s1Lf]
284        case System.Environment.a3 s_s1Lf of wild_s1PI {
285          (#,#) new_s_s1Ll a70_s1Lj ->
286              case a70_s1Lj of wild1_s1PJ {
287                [] -> Main.a4 new_s_s1Ll;
288                : arg_s1Lq ds_s1Lo ->
289                    case ds_s1Lo of wild2_s1PK {
290                      [] ->
291                          let {
292                            sat_s1LB =
293                                \u srt:(0,*bitmap*) []
294                                    case Text.Read.$wread GHC.Read.a17 arg_s1Lq of wild3_s1PL {
295                                      GHC.Types.I# n#_s1Lt ->
296                                          case
297                                              case <=# [n#_s1Lt 0] of wild11_s1PM {
298                                                GHC.Bool.False ->
299                                                    case >=# [n#_s1Lt 0] of wild4_s1PN {
300                                                      GHC.Bool.False -> [] [];
301                                                      GHC.Bool.True ->
302                                                          GHC.List.take_unsafe_UInt
303                                                              n#_s1Lt Main.test;
304                                                    };
305                                                GHC.Bool.True -> [] [];
306                                              }
307                                          of
308                                          sat_s1Lx
309                                          { __DEFAULT ->
310                                                case Main.go1 sat_s1Lx of sat_s1Lz {
311                                                  __DEFAULT -> GHC.Base.++ sat_s1Lz GHC.Types.[];
312                                                };
313                                          };
314                                    };
315                          } in  GHC.IO.a28 GHC.Handle.stdout sat_s1LB new_s_s1Ll;
316                      : ipv_s1PO ipv1_s1PP -> Main.a4 new_s_s1Ll;
317                    };
318              };
319        };
320SRT(Main.a7): [Main.test, Main.go1, GHC.Read.a17, Text.Read.$wread,
321               GHC.Handle.stdout, GHC.IO.a28, Main.a3, System.Environment.a3]
322Main.main = \r srt:(0,*bitmap*) [eta_s1LH] Main.a7 eta_s1LH;
323SRT(Main.main): [Main.a7]
324Main.a8 =
325    \r srt:(0,*bitmap*) [eta_s1LK] GHC.TopHandler.a7 Main.a7 eta_s1LK;
326SRT(Main.a8): [Main.a7, GHC.TopHandler.a7]
327Main.a9 =
328    \r srt:(0,*bitmap*) [ds_s1PQ x_s1LP s_s1LS]
329        case Main.show x_s1LP of sat_s1LR {
330          __DEFAULT -> GHC.Base.++ sat_s1LR s_s1LS;
331        };
332SRT(Main.a9): [Main.go]
333Main.$f2 =
334    NO_CCS GHC.Show.D:Show! [Main.a9 Main.show Main.showList];
335SRT(Main.$f2): []
336Main.fromInteger =
337    \r [$dNum_s1LX]
338        let {
339          a10_s1Ma =
340              \u []
341                  case $dNum_s1LX of tpl_s1PR {
342                    GHC.Num.D:Num tpl1_s1PS
343                                  tpl2_s1PT
344                                  tpl3_s1PU
345                                  tpl4_s1PV
346                                  tpl5_s1PW
347                                  tpl6_s1PX
348                                  tpl7_s1PY
349                                  tpl8_s1PZ
350                                  tpl9_s1M8 ->
351                        tpl9_s1M8 Main.lvl4;
352                  }; } in
353        let { lvl11_s1Md = NO_CCS :! [a10_s1Ma GHC.Types.[]]; } in
354        let {
355          sat_s1Q0 =
356              \r [c_s1Mp]
357                  let {
358                    sat_s1Ms =
359                        \u []
360                            case $dNum_s1LX of tpl_s1Mt {
361                              GHC.Num.D:Num tpl1_s1Mu
362                                            tpl2_s1Mv
363                                            tpl3_s1Mw
364                                            tpl4_s1Mx
365                                            tpl5_s1My
366                                            tpl6_s1Mz
367                                            tpl7_s1MA
368                                            tpl8_s1MB
369                                            tpl9_s1Mq ->
370                                  tpl9_s1Mq c_s1Mp;
371                            };
372                  } in  : [sat_s1Ms lvl11_s1Md];
373        } in  sat_s1Q0;
374SRT(Main.fromInteger): []
375Main.negate =
376    \r srt:(0,*bitmap*) [$dNum_s1MK eta_s1MG]
377        case eta_s1MG of wild_s1Q1 {
378          [] -> lvl1_r1GE;
379          : f_s1MV fs_s1MZ ->
380              let {
381                sat_s1N1 =
382                    \u srt:(0,*bitmap*) [] Main.negate $dNum_s1MK fs_s1MZ; } in
383              let {
384                sat_s1MY =
385                    \u []
386                        case $dNum_s1MK of tpl_s1Q2 {
387                          GHC.Num.D:Num tpl1_s1Q3
388                                        tpl2_s1Q4
389                                        tpl3_s1Q5
390                                        tpl4_s1Q6
391                                        tpl5_s1Q7
392                                        tpl6_s1MW
393                                        tpl7_s1Q8
394                                        tpl8_s1Q9
395                                        tpl9_s1Qa ->
396                              tpl6_s1MW f_s1MV;
397                        };
398              } in  : [sat_s1MY sat_s1N1];
399        };
400SRT(Main.negate): [Main.negate, lvl1_r1GE]
401Main.* =
402    \r [$dNum_s1Ne eta_s1Na eta1_s1N6]
403        case eta1_s1N6 of wild_s1Qb {
404          [] -> [] [];
405          : ipv_s1Nq ipv1_s1Nu ->
406              case eta_s1Na of wild1_s1Qc {
407                [] -> [] [];
408                : f_s1Np fs_s1Qd ->
409                    let { sat_s1Nw = \u [] Main.* $dNum_s1Ne ipv1_s1Nu ipv1_s1Nu; } in
410                    let {
411                      sat_s1Nt =
412                          \u []
413                              case $dNum_s1Ne of tpl_s1Qe {
414                                GHC.Num.D:Num tpl1_s1Qf
415                                              tpl2_s1Qg
416                                              tpl3_s1Qh
417                                              tpl4_s1Nr
418                                              tpl5_s1Qi
419                                              tpl6_s1Qj
420                                              tpl7_s1Qk
421                                              tpl8_s1Ql
422                                              tpl9_s1Qm ->
423                                    tpl4_s1Nr f_s1Np ipv_s1Nq;
424                              };
425                    } in  : [sat_s1Nt sat_s1Nw];
426              };
427        };
428SRT(Main.*): []
429Main.<*> =
430    \r [$dNum_s1NA]
431        let { sum_s1NC = \u [] Data.List.sum $dNum_s1NA; } in
432        let {
433          sat_s1Qn =
434              \r [f_s1NF g_s1NG]
435                  let { sat_s1NI = \u [] Main.* $dNum_s1NA f_s1NF g_s1NG;
436                  } in  sum_s1NC sat_s1NI;
437        } in  sat_s1Qn;
438SRT(Main.<*>): []
439Main.+ =
440    \r [$dNum_s1NX eta_s1NQ eta1_s1NO]
441        case eta1_s1NO of wild_s1NU {
442          [] -> eta_s1NQ;
443          : ipv_s1O9 ipv1_s1Oe ->
444              case eta_s1NQ of wild1_s1Qo {
445                [] -> wild_s1NU;
446                : f_s1O8 fs_s1Od ->
447                    let { sat_s1Og = \u [] Main.+ $dNum_s1NX fs_s1Od ipv1_s1Oe; } in
448                    let {
449                      sat_s1Oc =
450                          \u []
451                              case $dNum_s1NX of tpl_s1Qp {
452                                GHC.Num.D:Num tpl1_s1Qq
453                                              tpl2_s1Qr
454                                              tpl3_s1Oa
455                                              tpl4_s1Qs
456                                              tpl5_s1Qt
457                                              tpl6_s1Qu
458                                              tpl7_s1Qv
459                                              tpl8_s1Qw
460                                              tpl9_s1Qx ->
461                                    tpl3_s1Oa f_s1O8 ipv_s1O9;
462                              };
463                    } in  : [sat_s1Oc sat_s1Og];
464              };
465        };
466SRT(Main.+): []
467Main.$f1 =
468    \r srt:(0,*bitmap*) [$dNum_s1Ok]
469        let {
470          $dShow_s1Oo =
471              \u srt:(2,*bitmap*) []
472                  let { sat_s1Om = \u [] GHC.Num.$p2Num $dNum_s1Ok;
473                  } in  GHC.Show.$f20 sat_s1Om; } in
474        let {
475          $dEq_s1Ot =
476              \u []
477                  let { sat_s1Or = \u [] GHC.Num.$p1Num $dNum_s1Ok;
478                  } in  GHC.Base.$f12 sat_s1Or; } in
479        let { a10_s1Ow = \u [] Main.fromInteger $dNum_s1Ok; } in
480        let {
481          a11_s1Oz =
482              \u srt:(0,*bitmap*) []
483                  Control.Exception.Base.noMethodBindingError
484                      "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.signum"; } in
485        let {
486          a12_s1OC =
487              \u srt:(0,*bitmap*) []
488                  Control.Exception.Base.noMethodBindingError
489                      "/Users/mbolingbroke/Programming/Checkouts/closureelimination/arity-def-site/nofib/spectral/atom/Main.hs:168:9-24|GHC.Num.abs"; } in
490        let {
491          a13_s1OH =
492              \r srt:(1,*bitmap*) [eta_s1OF]
493                  Main.negate $dNum_s1Ok eta_s1OF; } in
494        let {
495          a14_s1OO =
496              \r [eta_s1OL eta1_s1OM] Main.* $dNum_s1Ok eta_s1OL eta1_s1OM; } in
497        let {
498          a15_s1OV =
499              \r [eta_s1OS eta1_s1OT] Main.+ $dNum_s1Ok eta_s1OS eta1_s1OT; } in
500        let {
501          $dNum1_s1P5 =
502              NO_CCS GHC.Num.D:Num! [$dEq_s1Ot
503                                     $dShow_s1Oo
504                                     a15_s1OV
505                                     a14_s1OO
506                                     a16_s1OZ
507                                     a13_s1OH
508                                     a12_s1OC
509                                     a11_s1Oz
510                                     a10_s1Ow];
511          a16_s1OZ =
512              \r [eta_s1P6 eta_s1P7] GHC.Num.$dm- $dNum1_s1P5 eta_s1P6 eta_s1P7;
513        } in  $dNum1_s1P5;
514SRT(Main.$f1): [Control.Exception.Base.noMethodBindingError,
515                Main.negate, GHC.Show.$f20]
516:Main.main = \r srt:(0,*bitmap*) [eta_s1Pb] Main.a8 eta_s1Pb;
517SRT(:Main.main): [Main.a8]
518Main.State = \r [eta_s1Ph eta_s1Pi] Main.State [eta_s1Ph eta_s1Pi];
519SRT(Main.State): []