3 mayRaise=[ExceptionFailure]
6 | catch ExceptionFailure
8 | mayRaise=[ExceptionFailure]
12 | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
14 | | | mayRaise=[ExceptionFailure]
19 | | | mayRaise=[ExceptionFailure]
22 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
24 | | | mayRaise=[ExceptionFailure]
27 | | | pushValue (\u_0 -> u_0)
29 | | | mayRaise=[ExceptionFailure]
34 | | | mayRaise=[ExceptionFailure]
39 | | | mayRaise=[ExceptionFailure]
43 | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
45 | | | | | mayRaise=[ExceptionFailure]
46 | | | | | alwaysRaise=[]
47 | | | | | freeRegs=[reg]
50 | | | | | mayRaise=[ExceptionFailure]
51 | | | | | alwaysRaise=[]
52 | | | | | freeRegs=[reg]
53 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
55 | | | | | mayRaise=[ExceptionFailure]
56 | | | | | alwaysRaise=[]
57 | | | | | freeRegs=[reg]
60 | | | | | mayRaise=[ExceptionFailure]
61 | | | | | alwaysRaise=[]
62 | | | | | freeRegs=[reg]
63 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
65 | | | | | mayRaise=[ExceptionFailure]
66 | | | | | alwaysRaise=[]
67 | | | | | freeRegs=[reg]
70 | | | | | mayRaise=[ExceptionFailure]
71 | | | | | alwaysRaise=[]
72 | | | | | freeRegs=[reg]
73 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
76 | | | | | alwaysRaise=[]
77 | | | | | freeRegs=[reg]
78 | | | | | readRegister reg
81 | | | | | alwaysRaise=[]
82 | | | | | freeRegs=[reg]
83 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
86 | | | | | alwaysRaise=[]
87 | | | | | freeRegs=[reg]
88 | | | | | writeRegister reg
91 | | | | | alwaysRaise=[]
92 | | | | | freeRegs=[reg]
96 | | | | | alwaysRaise=[]
99 | | | | | comment "raiseAgainIfConsumed"
101 | | | | | mayRaise=[ExceptionFailure]
102 | | | | | alwaysRaise=[]
103 | | | | | freeRegs=[reg]
106 | | | | | mayRaise=[ExceptionFailure]
107 | | | | | alwaysRaise=[]
108 | | | | | freeRegs=[reg]
109 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
111 | | | | | mayRaise=[ExceptionFailure]
112 | | | | | alwaysRaise=[]
113 | | | | | freeRegs=[reg]
114 | | | | | choicesBranch
116 | | | | | mayRaise=[ExceptionFailure]
117 | | | | | alwaysRaise=[]
118 | | | | | freeRegs=[reg]
119 | | | | | | <branch (\u_0 -> u_0)>
120 | | | | | | | readRegister reg
121 | | | | | | | minReads=0
122 | | | | | | | mayRaise=[]
123 | | | | | | | alwaysRaise=[]
124 | | | | | | | freeRegs=[reg]
125 | | | | | | | call name
126 | | | | | | | minReads=0
127 | | | | | | | mayRaise=[]
128 | | | | | | | alwaysRaise=[]
129 | | | | | | | freeRegs=[]
130 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
131 | | | | | | | minReads=0
132 | | | | | | | mayRaise=[]
133 | | | | | | | alwaysRaise=[]
134 | | | | | | | freeRegs=[]
135 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
136 | | | | | | | minReads=0
137 | | | | | | | mayRaise=[]
138 | | | | | | | alwaysRaise=[]
139 | | | | | | | freeRegs=[]
140 | | | | | | | call name
141 | | | | | | | minReads=0
142 | | | | | | | mayRaise=[]
143 | | | | | | | alwaysRaise=[]
144 | | | | | | | freeRegs=[]
145 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
146 | | | | | | | minReads=0
147 | | | | | | | mayRaise=[]
148 | | | | | | | alwaysRaise=[]
149 | | | | | | | freeRegs=[]
150 | | | | | | | commit ExceptionFailure
151 | | | | | | | minReads=0
152 | | | | | | | mayRaise=[]
153 | | | | | | | alwaysRaise=[]
154 | | | | | | | freeRegs=[]
156 | | | | | | | minReads=0
157 | | | | | | | mayRaise=[]
158 | | | | | | | alwaysRaise=[]
159 | | | | | | | freeRegs=[]
160 | | | | | | <default>
161 | | | | | | | fail []
162 | | | | | | | minReads=0
163 | | | | | | | mayRaise=[ExceptionFailure]
164 | | | | | | | alwaysRaise=[ExceptionFailure]
165 | | | | | | | freeRegs=[]
166 | | <onException ExceptionFailure>
167 | | | comment "raiseAgainIfConsumed"
169 | | | mayRaise=[ExceptionFailure]
174 | | | mayRaise=[ExceptionFailure]
177 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
179 | | | mayRaise=[ExceptionFailure]
184 | | | mayRaise=[ExceptionFailure]
187 | | | | <branch (\u_0 -> u_0)>
190 | | | | | mayRaise=[]
191 | | | | | alwaysRaise=[]
192 | | | | | freeRegs=[]
196 | | | | | mayRaise=[ExceptionFailure]
197 | | | | | alwaysRaise=[ExceptionFailure]
198 | | | | | freeRegs=[]
204 | pushValue (\u_0 -> \u_1 -> u_1)
219 | pushValue GHC.Tuple.()
234 | pushValue GHC.Tuple.()
246 mayRaise=[ExceptionFailure]
249 | comment "satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))"
251 | mayRaise=[ExceptionFailure]
254 | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
256 | mayRaise=[ExceptionFailure]
266 mayRaise=[ExceptionFailure]
269 | pushValue (\u_0 -> GHC.Tuple.())
271 | mayRaise=[ExceptionFailure]
274 | comment "satisfy GHC.Unicode.isSpace"
276 | mayRaise=[ExceptionFailure]
279 | read GHC.Unicode.isSpace
281 | mayRaise=[ExceptionFailure]
284 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
296 mayRaise=[ExceptionFailure]
299 | pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
301 | mayRaise=[ExceptionFailure]
306 | mayRaise=[ExceptionFailure]
309 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
311 | mayRaise=[ExceptionFailure]
314 | pushValue (\u_0 -> u_0)
316 | mayRaise=[ExceptionFailure]
321 | mayRaise=[ExceptionFailure]
326 | mayRaise=[ExceptionFailure]
330 | | | pushValue (\u_0 -> \u_1 -> u_1)
332 | | | mayRaise=[ExceptionFailure]
337 | | | mayRaise=[ExceptionFailure]
340 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
345 | | | readRegister reg
350 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
355 | | | writeRegister reg
366 | | | comment "raiseAgainIfConsumed"
368 | | | mayRaise=[ExceptionFailure]
373 | | | mayRaise=[ExceptionFailure]
376 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
378 | | | mayRaise=[ExceptionFailure]
383 | | | mayRaise=[ExceptionFailure]
386 | | | | <branch (\u_0 -> u_0)>
387 | | | | | readRegister reg
389 | | | | | mayRaise=[]
390 | | | | | alwaysRaise=[]
391 | | | | | freeRegs=[reg]
392 | | | | | pushValue GHC.Tuple.()
394 | | | | | mayRaise=[]
395 | | | | | alwaysRaise=[]
396 | | | | | freeRegs=[]
397 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
399 | | | | | mayRaise=[]
400 | | | | | alwaysRaise=[]
401 | | | | | freeRegs=[]
402 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
404 | | | | | mayRaise=[]
405 | | | | | alwaysRaise=[]
406 | | | | | freeRegs=[]
409 | | | | | mayRaise=[]
410 | | | | | alwaysRaise=[]
411 | | | | | freeRegs=[]
415 | | | | | mayRaise=[ExceptionFailure]
416 | | | | | alwaysRaise=[ExceptionFailure]
417 | | | | | freeRegs=[]
420 mayRaise=[ExceptionFailure]
423 | catch ExceptionFailure
425 | mayRaise=[ExceptionFailure]
429 | | | pushValue (\u_0 -> \u_1 -> u_1)
431 | | | mayRaise=[ExceptionFailure]
436 | | | mayRaise=[ExceptionFailure]
439 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
441 | | | | mayRaise=[ExceptionFailure]
442 | | | | alwaysRaise=[]
446 | | | | mayRaise=[ExceptionFailure]
447 | | | | alwaysRaise=[]
449 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
452 | | | | alwaysRaise=[]
454 | | | | commit ExceptionFailure
457 | | | | alwaysRaise=[]
462 | | | | alwaysRaise=[]
464 | | | catch ExceptionFailure
466 | | | mayRaise=[ExceptionFailure]
470 | | | | | pushValue (\u_0 -> '0')
472 | | | | | mayRaise=[ExceptionFailure]
473 | | | | | alwaysRaise=[]
474 | | | | | freeRegs=[]
475 | | | | | comment "satisfy ((GHC.Classes.==) '0')"
477 | | | | | mayRaise=[ExceptionFailure]
478 | | | | | alwaysRaise=[]
479 | | | | | freeRegs=[]
480 | | | | | read ((GHC.Classes.==) '0')
482 | | | | | mayRaise=[ExceptionFailure]
483 | | | | | alwaysRaise=[]
484 | | | | | freeRegs=[]
485 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
487 | | | | | mayRaise=[ExceptionFailure]
488 | | | | | alwaysRaise=[]
489 | | | | | freeRegs=[]
490 | | | | | commit ExceptionFailure
492 | | | | | mayRaise=[ExceptionFailure]
493 | | | | | alwaysRaise=[]
494 | | | | | freeRegs=[]
495 | | | | | refJoin join
497 | | | | | mayRaise=[ExceptionFailure]
498 | | | | | alwaysRaise=[]
499 | | | | | freeRegs=[]
500 | | | | <onException ExceptionFailure>
501 | | | | | comment "raiseAgainIfConsumed"
503 | | | | | mayRaise=[ExceptionFailure]
504 | | | | | alwaysRaise=[]
505 | | | | | freeRegs=[]
508 | | | | | mayRaise=[ExceptionFailure]
509 | | | | | alwaysRaise=[]
510 | | | | | freeRegs=[]
511 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
513 | | | | | mayRaise=[ExceptionFailure]
514 | | | | | alwaysRaise=[]
515 | | | | | freeRegs=[]
516 | | | | | choicesBranch
518 | | | | | mayRaise=[ExceptionFailure]
519 | | | | | alwaysRaise=[]
520 | | | | | freeRegs=[]
521 | | | | | | <branch (\u_0 -> u_0)>
522 | | | | | | | pushValue (\u_0 -> '1')
523 | | | | | | | minReads=2
524 | | | | | | | mayRaise=[ExceptionFailure]
525 | | | | | | | alwaysRaise=[]
526 | | | | | | | freeRegs=[]
527 | | | | | | | comment "satisfy ((GHC.Classes.==) '1')"
528 | | | | | | | minReads=2
529 | | | | | | | mayRaise=[ExceptionFailure]
530 | | | | | | | alwaysRaise=[]
531 | | | | | | | freeRegs=[]
532 | | | | | | | read ((GHC.Classes.==) '1')
533 | | | | | | | minReads=2
534 | | | | | | | mayRaise=[ExceptionFailure]
535 | | | | | | | alwaysRaise=[]
536 | | | | | | | freeRegs=[]
537 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
538 | | | | | | | minReads=1
539 | | | | | | | mayRaise=[ExceptionFailure]
540 | | | | | | | alwaysRaise=[]
541 | | | | | | | freeRegs=[]
542 | | | | | | | refJoin join
543 | | | | | | | minReads=1
544 | | | | | | | mayRaise=[ExceptionFailure]
545 | | | | | | | alwaysRaise=[]
546 | | | | | | | freeRegs=[]
547 | | | | | | <default>
548 | | | | | | | fail []
549 | | | | | | | minReads=0
550 | | | | | | | mayRaise=[ExceptionFailure]
551 | | | | | | | alwaysRaise=[ExceptionFailure]
552 | | | | | | | freeRegs=[]
553 | | <onException ExceptionFailure>
554 | | | comment "raiseAgainIfConsumed"
556 | | | mayRaise=[ExceptionFailure]
561 | | | mayRaise=[ExceptionFailure]
564 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
566 | | | mayRaise=[ExceptionFailure]
571 | | | mayRaise=[ExceptionFailure]
574 | | | | <branch (\u_0 -> u_0)>
575 | | | | | catch ExceptionFailure
577 | | | | | mayRaise=[ExceptionFailure]
578 | | | | | alwaysRaise=[]
579 | | | | | freeRegs=[]
580 | | | | | | <catchScope>
581 | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_1)
582 | | | | | | | minReads=4
583 | | | | | | | mayRaise=[ExceptionFailure]
584 | | | | | | | alwaysRaise=[]
585 | | | | | | | freeRegs=[]
586 | | | | | | | comment "satisfy ((GHC.Classes.==) '\\'')"
587 | | | | | | | minReads=4
588 | | | | | | | mayRaise=[ExceptionFailure]
589 | | | | | | | alwaysRaise=[]
590 | | | | | | | freeRegs=[]
591 | | | | | | | read ((GHC.Classes.==) '\'')
592 | | | | | | | minReads=4
593 | | | | | | | mayRaise=[ExceptionFailure]
594 | | | | | | | alwaysRaise=[]
595 | | | | | | | freeRegs=[]
596 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
597 | | | | | | | minReads=3
598 | | | | | | | mayRaise=[ExceptionFailure]
599 | | | | | | | alwaysRaise=[]
600 | | | | | | | freeRegs=[]
601 | | | | | | | join join
602 | | | | | | | minReads=2
603 | | | | | | | mayRaise=[ExceptionFailure]
604 | | | | | | | alwaysRaise=[]
605 | | | | | | | freeRegs=[]
606 | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
607 | | | | | | | | minReads=2
608 | | | | | | | | mayRaise=[ExceptionFailure]
609 | | | | | | | | alwaysRaise=[]
610 | | | | | | | | freeRegs=[]
611 | | | | | | | | comment "satisfy ((GHC.Classes.==) '\\'')"
612 | | | | | | | | minReads=2
613 | | | | | | | | mayRaise=[ExceptionFailure]
614 | | | | | | | | alwaysRaise=[]
615 | | | | | | | | freeRegs=[]
616 | | | | | | | | read ((GHC.Classes.==) '\'')
617 | | | | | | | | minReads=2
618 | | | | | | | | mayRaise=[ExceptionFailure]
619 | | | | | | | | alwaysRaise=[]
620 | | | | | | | | freeRegs=[]
621 | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
622 | | | | | | | | minReads=1
623 | | | | | | | | mayRaise=[ExceptionFailure]
624 | | | | | | | | alwaysRaise=[]
625 | | | | | | | | freeRegs=[]
626 | | | | | | | | call name
627 | | | | | | | | minReads=1
628 | | | | | | | | mayRaise=[ExceptionFailure]
629 | | | | | | | | alwaysRaise=[]
630 | | | | | | | | freeRegs=[]
631 | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
632 | | | | | | | | minReads=0
633 | | | | | | | | mayRaise=[]
634 | | | | | | | | alwaysRaise=[]
635 | | | | | | | | freeRegs=[]
636 | | | | | | | | commit ExceptionFailure
637 | | | | | | | | minReads=0
638 | | | | | | | | mayRaise=[]
639 | | | | | | | | alwaysRaise=[]
640 | | | | | | | | freeRegs=[]
642 | | | | | | | | minReads=0
643 | | | | | | | | mayRaise=[]
644 | | | | | | | | alwaysRaise=[]
645 | | | | | | | | freeRegs=[]
646 | | | | | | | catch ExceptionFailure
647 | | | | | | | minReads=3
648 | | | | | | | mayRaise=[ExceptionFailure]
649 | | | | | | | alwaysRaise=[]
650 | | | | | | | freeRegs=[]
651 | | | | | | | | <catchScope>
652 | | | | | | | | | pushValue (\u_0 -> \u_1 -> u_1)
653 | | | | | | | | | minReads=3
654 | | | | | | | | | mayRaise=[ExceptionFailure]
655 | | | | | | | | | alwaysRaise=[]
656 | | | | | | | | | freeRegs=[]
657 | | | | | | | | | comment "satisfy Parsers.Nandlang.nandStringLetter"
658 | | | | | | | | | minReads=3
659 | | | | | | | | | mayRaise=[ExceptionFailure]
660 | | | | | | | | | alwaysRaise=[]
661 | | | | | | | | | freeRegs=[]
662 | | | | | | | | | read Parsers.Nandlang.nandStringLetter
663 | | | | | | | | | minReads=3
664 | | | | | | | | | mayRaise=[ExceptionFailure]
665 | | | | | | | | | alwaysRaise=[]
666 | | | | | | | | | freeRegs=[]
667 | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
668 | | | | | | | | | minReads=2
669 | | | | | | | | | mayRaise=[ExceptionFailure]
670 | | | | | | | | | alwaysRaise=[]
671 | | | | | | | | | freeRegs=[]
672 | | | | | | | | | call name
673 | | | | | | | | | minReads=2
674 | | | | | | | | | mayRaise=[ExceptionFailure]
675 | | | | | | | | | alwaysRaise=[]
676 | | | | | | | | | freeRegs=[]
677 | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
678 | | | | | | | | | minReads=2
679 | | | | | | | | | mayRaise=[ExceptionFailure]
680 | | | | | | | | | alwaysRaise=[]
681 | | | | | | | | | freeRegs=[]
682 | | | | | | | | | commit ExceptionFailure
683 | | | | | | | | | minReads=2
684 | | | | | | | | | mayRaise=[ExceptionFailure]
685 | | | | | | | | | alwaysRaise=[]
686 | | | | | | | | | freeRegs=[]
687 | | | | | | | | | refJoin join
688 | | | | | | | | | minReads=2
689 | | | | | | | | | mayRaise=[ExceptionFailure]
690 | | | | | | | | | alwaysRaise=[]
691 | | | | | | | | | freeRegs=[]
692 | | | | | | | | <onException ExceptionFailure>
693 | | | | | | | | | comment "raiseAgainIfConsumed"
694 | | | | | | | | | minReads=4
695 | | | | | | | | | mayRaise=[ExceptionFailure]
696 | | | | | | | | | alwaysRaise=[]
697 | | | | | | | | | freeRegs=[]
698 | | | | | | | | | saveInput
699 | | | | | | | | | minReads=4
700 | | | | | | | | | mayRaise=[ExceptionFailure]
701 | | | | | | | | | alwaysRaise=[]
702 | | | | | | | | | freeRegs=[]
703 | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
704 | | | | | | | | | minReads=4
705 | | | | | | | | | mayRaise=[ExceptionFailure]
706 | | | | | | | | | alwaysRaise=[]
707 | | | | | | | | | freeRegs=[]
708 | | | | | | | | | choicesBranch
709 | | | | | | | | | minReads=4
710 | | | | | | | | | mayRaise=[ExceptionFailure]
711 | | | | | | | | | alwaysRaise=[]
712 | | | | | | | | | freeRegs=[]
713 | | | | | | | | | | <branch (\u_0 -> u_0)>
714 | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
715 | | | | | | | | | | | minReads=4
716 | | | | | | | | | | | mayRaise=[ExceptionFailure]
717 | | | | | | | | | | | alwaysRaise=[]
718 | | | | | | | | | | | freeRegs=[]
719 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) '\\\\')"
720 | | | | | | | | | | | minReads=4
721 | | | | | | | | | | | mayRaise=[ExceptionFailure]
722 | | | | | | | | | | | alwaysRaise=[]
723 | | | | | | | | | | | freeRegs=[]
724 | | | | | | | | | | | read ((GHC.Classes.==) '\\')
725 | | | | | | | | | | | minReads=4
726 | | | | | | | | | | | mayRaise=[ExceptionFailure]
727 | | | | | | | | | | | alwaysRaise=[]
728 | | | | | | | | | | | freeRegs=[]
729 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
730 | | | | | | | | | | | minReads=3
731 | | | | | | | | | | | mayRaise=[ExceptionFailure]
732 | | | | | | | | | | | alwaysRaise=[]
733 | | | | | | | | | | | freeRegs=[]
734 | | | | | | | | | | | comment "satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))"
735 | | | | | | | | | | | minReads=3
736 | | | | | | | | | | | mayRaise=[ExceptionFailure]
737 | | | | | | | | | | | alwaysRaise=[]
738 | | | | | | | | | | | freeRegs=[]
739 | | | | | | | | | | | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
740 | | | | | | | | | | | minReads=3
741 | | | | | | | | | | | mayRaise=[ExceptionFailure]
742 | | | | | | | | | | | alwaysRaise=[]
743 | | | | | | | | | | | freeRegs=[]
744 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
745 | | | | | | | | | | | minReads=2
746 | | | | | | | | | | | mayRaise=[ExceptionFailure]
747 | | | | | | | | | | | alwaysRaise=[]
748 | | | | | | | | | | | freeRegs=[]
749 | | | | | | | | | | | call name
750 | | | | | | | | | | | minReads=2
751 | | | | | | | | | | | mayRaise=[ExceptionFailure]
752 | | | | | | | | | | | alwaysRaise=[]
753 | | | | | | | | | | | freeRegs=[]
754 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
755 | | | | | | | | | | | minReads=2
756 | | | | | | | | | | | mayRaise=[ExceptionFailure]
757 | | | | | | | | | | | alwaysRaise=[]
758 | | | | | | | | | | | freeRegs=[]
759 | | | | | | | | | | | refJoin join
760 | | | | | | | | | | | minReads=2
761 | | | | | | | | | | | mayRaise=[ExceptionFailure]
762 | | | | | | | | | | | alwaysRaise=[]
763 | | | | | | | | | | | freeRegs=[]
764 | | | | | | | | | | <default>
765 | | | | | | | | | | | fail []
766 | | | | | | | | | | | minReads=0
767 | | | | | | | | | | | mayRaise=[ExceptionFailure]
768 | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
769 | | | | | | | | | | | freeRegs=[]
770 | | | | | | <onException ExceptionFailure>
771 | | | | | | | comment "raiseAgainIfConsumed"
772 | | | | | | | minReads=2
773 | | | | | | | mayRaise=[ExceptionFailure]
774 | | | | | | | alwaysRaise=[]
775 | | | | | | | freeRegs=[]
776 | | | | | | | saveInput
777 | | | | | | | minReads=2
778 | | | | | | | mayRaise=[ExceptionFailure]
779 | | | | | | | alwaysRaise=[]
780 | | | | | | | freeRegs=[]
781 | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
782 | | | | | | | minReads=2
783 | | | | | | | mayRaise=[ExceptionFailure]
784 | | | | | | | alwaysRaise=[]
785 | | | | | | | freeRegs=[]
786 | | | | | | | choicesBranch
787 | | | | | | | minReads=2
788 | | | | | | | mayRaise=[ExceptionFailure]
789 | | | | | | | alwaysRaise=[]
790 | | | | | | | freeRegs=[]
791 | | | | | | | | <branch (\u_0 -> u_0)>
792 | | | | | | | | | pushValue (\u_0 -> \u_1 -> u_1)
793 | | | | | | | | | minReads=2
794 | | | | | | | | | mayRaise=[ExceptionFailure]
795 | | | | | | | | | alwaysRaise=[]
796 | | | | | | | | | freeRegs=[]
797 | | | | | | | | | call name
798 | | | | | | | | | minReads=2
799 | | | | | | | | | mayRaise=[ExceptionFailure]
800 | | | | | | | | | alwaysRaise=[]
801 | | | | | | | | | freeRegs=[]
802 | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
803 | | | | | | | | | minReads=0
804 | | | | | | | | | mayRaise=[ExceptionFailure]
805 | | | | | | | | | alwaysRaise=[]
806 | | | | | | | | | freeRegs=[]
807 | | | | | | | | | join join
808 | | | | | | | | | minReads=0
809 | | | | | | | | | mayRaise=[]
810 | | | | | | | | | alwaysRaise=[]
811 | | | | | | | | | freeRegs=[]
812 | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
813 | | | | | | | | | | minReads=0
814 | | | | | | | | | | mayRaise=[]
815 | | | | | | | | | | alwaysRaise=[]
816 | | | | | | | | | | freeRegs=[]
817 | | | | | | | | | | ret
818 | | | | | | | | | | minReads=0
819 | | | | | | | | | | mayRaise=[]
820 | | | | | | | | | | alwaysRaise=[]
821 | | | | | | | | | | freeRegs=[]
822 | | | | | | | | | catch ExceptionFailure
823 | | | | | | | | | minReads=0
824 | | | | | | | | | mayRaise=[ExceptionFailure]
825 | | | | | | | | | alwaysRaise=[]
826 | | | | | | | | | freeRegs=[]
827 | | | | | | | | | | <catchScope>
828 | | | | | | | | | | | pushValue (\u_0 -> GHC.Tuple.())
829 | | | | | | | | | | | minReads=2
830 | | | | | | | | | | | mayRaise=[ExceptionFailure]
831 | | | | | | | | | | | alwaysRaise=[]
832 | | | | | | | | | | | freeRegs=[]
833 | | | | | | | | | | | join join
834 | | | | | | | | | | | minReads=0
835 | | | | | | | | | | | mayRaise=[]
836 | | | | | | | | | | | alwaysRaise=[]
837 | | | | | | | | | | | freeRegs=[]
838 | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
839 | | | | | | | | | | | | minReads=0
840 | | | | | | | | | | | | mayRaise=[]
841 | | | | | | | | | | | | alwaysRaise=[]
842 | | | | | | | | | | | | freeRegs=[]
843 | | | | | | | | | | | | commit ExceptionFailure
844 | | | | | | | | | | | | minReads=0
845 | | | | | | | | | | | | mayRaise=[]
846 | | | | | | | | | | | | alwaysRaise=[]
847 | | | | | | | | | | | | freeRegs=[]
848 | | | | | | | | | | | | refJoin join
849 | | | | | | | | | | | | minReads=0
850 | | | | | | | | | | | | mayRaise=[]
851 | | | | | | | | | | | | alwaysRaise=[]
852 | | | | | | | | | | | | freeRegs=[]
853 | | | | | | | | | | | catch ExceptionFailure
854 | | | | | | | | | | | minReads=2
855 | | | | | | | | | | | mayRaise=[ExceptionFailure]
856 | | | | | | | | | | | alwaysRaise=[]
857 | | | | | | | | | | | freeRegs=[]
858 | | | | | | | | | | | | <catchScope>
859 | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_1)
860 | | | | | | | | | | | | | minReads=2
861 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
862 | | | | | | | | | | | | | alwaysRaise=[]
863 | | | | | | | | | | | | | freeRegs=[]
864 | | | | | | | | | | | | | call name
865 | | | | | | | | | | | | | minReads=2
866 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
867 | | | | | | | | | | | | | alwaysRaise=[]
868 | | | | | | | | | | | | | freeRegs=[]
869 | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
870 | | | | | | | | | | | | | minReads=0
871 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
872 | | | | | | | | | | | | | alwaysRaise=[]
873 | | | | | | | | | | | | | freeRegs=[]
874 | | | | | | | | | | | | | join join
875 | | | | | | | | | | | | | minReads=2
876 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
877 | | | | | | | | | | | | | alwaysRaise=[]
878 | | | | | | | | | | | | | freeRegs=[]
879 | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
880 | | | | | | | | | | | | | | minReads=2
881 | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
882 | | | | | | | | | | | | | | alwaysRaise=[]
883 | | | | | | | | | | | | | | freeRegs=[]
884 | | | | | | | | | | | | | | call name
885 | | | | | | | | | | | | | | minReads=2
886 | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
887 | | | | | | | | | | | | | | alwaysRaise=[]
888 | | | | | | | | | | | | | | freeRegs=[]
889 | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
890 | | | | | | | | | | | | | | minReads=0
891 | | | | | | | | | | | | | | mayRaise=[]
892 | | | | | | | | | | | | | | alwaysRaise=[]
893 | | | | | | | | | | | | | | freeRegs=[]
894 | | | | | | | | | | | | | | commit ExceptionFailure
895 | | | | | | | | | | | | | | minReads=0
896 | | | | | | | | | | | | | | mayRaise=[]
897 | | | | | | | | | | | | | | alwaysRaise=[]
898 | | | | | | | | | | | | | | freeRegs=[]
899 | | | | | | | | | | | | | | refJoin join
900 | | | | | | | | | | | | | | minReads=0
901 | | | | | | | | | | | | | | mayRaise=[]
902 | | | | | | | | | | | | | | alwaysRaise=[]
903 | | | | | | | | | | | | | | freeRegs=[]
904 | | | | | | | | | | | | | catch ExceptionFailure
905 | | | | | | | | | | | | | minReads=0
906 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
907 | | | | | | | | | | | | | alwaysRaise=[]
908 | | | | | | | | | | | | | freeRegs=[]
909 | | | | | | | | | | | | | | <catchScope>
910 | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
911 | | | | | | | | | | | | | | | minReads=0
912 | | | | | | | | | | | | | | | mayRaise=[]
913 | | | | | | | | | | | | | | | alwaysRaise=[]
914 | | | | | | | | | | | | | | | freeRegs=[]
915 | | | | | | | | | | | | | | | call name
916 | | | | | | | | | | | | | | | minReads=0
917 | | | | | | | | | | | | | | | mayRaise=[]
918 | | | | | | | | | | | | | | | alwaysRaise=[]
919 | | | | | | | | | | | | | | | freeRegs=[]
920 | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
921 | | | | | | | | | | | | | | | minReads=2
922 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
923 | | | | | | | | | | | | | | | alwaysRaise=[]
924 | | | | | | | | | | | | | | | freeRegs=[]
925 | | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
926 | | | | | | | | | | | | | | | minReads=2
927 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
928 | | | | | | | | | | | | | | | alwaysRaise=[]
929 | | | | | | | | | | | | | | | freeRegs=[]
930 | | | | | | | | | | | | | | | newRegister reg
931 | | | | | | | | | | | | | | | minReads=2
932 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
933 | | | | | | | | | | | | | | | alwaysRaise=[]
934 | | | | | | | | | | | | | | | freeRegs=[]
935 | | | | | | | | | | | | | | | iter loop
936 | | | | | | | | | | | | | | | minReads=2
937 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
938 | | | | | | | | | | | | | | | alwaysRaise=[]
939 | | | | | | | | | | | | | | | freeRegs=[reg]
940 | | | | | | | | | | | | | | | | <ok>
941 | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
942 | | | | | | | | | | | | | | | | | minReads=2
943 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
944 | | | | | | | | | | | | | | | | | alwaysRaise=[]
945 | | | | | | | | | | | | | | | | | freeRegs=[]
946 | | | | | | | | | | | | | | | | | call name
947 | | | | | | | | | | | | | | | | | minReads=2
948 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
949 | | | | | | | | | | | | | | | | | alwaysRaise=[]
950 | | | | | | | | | | | | | | | | | freeRegs=[]
951 | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
952 | | | | | | | | | | | | | | | | | minReads=2
953 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
954 | | | | | | | | | | | | | | | | | alwaysRaise=[]
955 | | | | | | | | | | | | | | | | | freeRegs=[]
956 | | | | | | | | | | | | | | | | | call name
957 | | | | | | | | | | | | | | | | | minReads=2
958 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
959 | | | | | | | | | | | | | | | | | alwaysRaise=[]
960 | | | | | | | | | | | | | | | | | freeRegs=[]
961 | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
962 | | | | | | | | | | | | | | | | | minReads=0
963 | | | | | | | | | | | | | | | | | mayRaise=[]
964 | | | | | | | | | | | | | | | | | alwaysRaise=[]
965 | | | | | | | | | | | | | | | | | freeRegs=[]
966 | | | | | | | | | | | | | | | | | call name
967 | | | | | | | | | | | | | | | | | minReads=0
968 | | | | | | | | | | | | | | | | | mayRaise=[]
969 | | | | | | | | | | | | | | | | | alwaysRaise=[]
970 | | | | | | | | | | | | | | | | | freeRegs=[]
971 | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
972 | | | | | | | | | | | | | | | | | minReads=0
973 | | | | | | | | | | | | | | | | | mayRaise=[]
974 | | | | | | | | | | | | | | | | | alwaysRaise=[]
975 | | | | | | | | | | | | | | | | | freeRegs=[reg]
976 | | | | | | | | | | | | | | | | | readRegister reg
977 | | | | | | | | | | | | | | | | | minReads=0
978 | | | | | | | | | | | | | | | | | mayRaise=[]
979 | | | | | | | | | | | | | | | | | alwaysRaise=[]
980 | | | | | | | | | | | | | | | | | freeRegs=[reg]
981 | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
982 | | | | | | | | | | | | | | | | | minReads=0
983 | | | | | | | | | | | | | | | | | mayRaise=[]
984 | | | | | | | | | | | | | | | | | alwaysRaise=[]
985 | | | | | | | | | | | | | | | | | freeRegs=[reg]
986 | | | | | | | | | | | | | | | | | writeRegister reg
987 | | | | | | | | | | | | | | | | | minReads=0
988 | | | | | | | | | | | | | | | | | mayRaise=[]
989 | | | | | | | | | | | | | | | | | alwaysRaise=[]
990 | | | | | | | | | | | | | | | | | freeRegs=[reg]
991 | | | | | | | | | | | | | | | | | jump loop
992 | | | | | | | | | | | | | | | | | minReads=0
993 | | | | | | | | | | | | | | | | | mayRaise=[]
994 | | | | | | | | | | | | | | | | | alwaysRaise=[]
995 | | | | | | | | | | | | | | | | | freeRegs=[]
996 | | | | | | | | | | | | | | | | <ko>
997 | | | | | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
998 | | | | | | | | | | | | | | | | | minReads=2
999 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1000 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1001 | | | | | | | | | | | | | | | | | freeRegs=[reg]
1002 | | | | | | | | | | | | | | | | | saveInput
1003 | | | | | | | | | | | | | | | | | minReads=2
1004 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1005 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1006 | | | | | | | | | | | | | | | | | freeRegs=[reg]
1007 | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1008 | | | | | | | | | | | | | | | | | minReads=2
1009 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1010 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1011 | | | | | | | | | | | | | | | | | freeRegs=[reg]
1012 | | | | | | | | | | | | | | | | | choicesBranch
1013 | | | | | | | | | | | | | | | | | minReads=2
1014 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1015 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1016 | | | | | | | | | | | | | | | | | freeRegs=[reg]
1017 | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
1018 | | | | | | | | | | | | | | | | | | | readRegister reg
1019 | | | | | | | | | | | | | | | | | | | minReads=2
1020 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1021 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1022 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
1023 | | | | | | | | | | | | | | | | | | | call name
1024 | | | | | | | | | | | | | | | | | | | minReads=2
1025 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1026 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1027 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1028 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1029 | | | | | | | | | | | | | | | | | | | minReads=2
1030 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1031 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1032 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1033 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1034 | | | | | | | | | | | | | | | | | | | minReads=2
1035 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1036 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1037 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1038 | | | | | | | | | | | | | | | | | | | call name
1039 | | | | | | | | | | | | | | | | | | | minReads=2
1040 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1041 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1042 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1043 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1044 | | | | | | | | | | | | | | | | | | | minReads=2
1045 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1046 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1047 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1048 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
1049 | | | | | | | | | | | | | | | | | | | minReads=2
1050 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1051 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1052 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1053 | | | | | | | | | | | | | | | | | | | refJoin join
1054 | | | | | | | | | | | | | | | | | | | minReads=2
1055 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1056 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
1057 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1058 | | | | | | | | | | | | | | | | | | <default>
1059 | | | | | | | | | | | | | | | | | | | fail []
1060 | | | | | | | | | | | | | | | | | | | minReads=0
1061 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1062 | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
1063 | | | | | | | | | | | | | | | | | | | freeRegs=[]
1064 | | | | | | | | | | | | | | <onException ExceptionFailure>
1065 | | | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
1066 | | | | | | | | | | | | | | | minReads=2
1067 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1068 | | | | | | | | | | | | | | | alwaysRaise=[]
1069 | | | | | | | | | | | | | | | freeRegs=[]
1070 | | | | | | | | | | | | | | | saveInput
1071 | | | | | | | | | | | | | | | minReads=2
1072 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1073 | | | | | | | | | | | | | | | alwaysRaise=[]
1074 | | | | | | | | | | | | | | | freeRegs=[]
1075 | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1076 | | | | | | | | | | | | | | | minReads=2
1077 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1078 | | | | | | | | | | | | | | | alwaysRaise=[]
1079 | | | | | | | | | | | | | | | freeRegs=[]
1080 | | | | | | | | | | | | | | | choicesBranch
1081 | | | | | | | | | | | | | | | minReads=2
1082 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1083 | | | | | | | | | | | | | | | alwaysRaise=[]
1084 | | | | | | | | | | | | | | | freeRegs=[]
1085 | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
1086 | | | | | | | | | | | | | | | | | call name
1087 | | | | | | | | | | | | | | | | | minReads=2
1088 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1089 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1090 | | | | | | | | | | | | | | | | | freeRegs=[]
1091 | | | | | | | | | | | | | | | | | refJoin join
1092 | | | | | | | | | | | | | | | | | minReads=2
1093 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1094 | | | | | | | | | | | | | | | | | alwaysRaise=[]
1095 | | | | | | | | | | | | | | | | | freeRegs=[]
1096 | | | | | | | | | | | | | | | | <default>
1097 | | | | | | | | | | | | | | | | | fail []
1098 | | | | | | | | | | | | | | | | | minReads=0
1099 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1100 | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
1101 | | | | | | | | | | | | | | | | | freeRegs=[]
1102 | | | | | | | | | | | | <onException ExceptionFailure>
1103 | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
1104 | | | | | | | | | | | | | minReads=5
1105 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1106 | | | | | | | | | | | | | alwaysRaise=[]
1107 | | | | | | | | | | | | | freeRegs=[]
1108 | | | | | | | | | | | | | saveInput
1109 | | | | | | | | | | | | | minReads=5
1110 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1111 | | | | | | | | | | | | | alwaysRaise=[]
1112 | | | | | | | | | | | | | freeRegs=[]
1113 | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1114 | | | | | | | | | | | | | minReads=5
1115 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1116 | | | | | | | | | | | | | alwaysRaise=[]
1117 | | | | | | | | | | | | | freeRegs=[]
1118 | | | | | | | | | | | | | choicesBranch
1119 | | | | | | | | | | | | | minReads=5
1120 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1121 | | | | | | | | | | | | | alwaysRaise=[]
1122 | | | | | | | | | | | | | freeRegs=[]
1123 | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
1124 | | | | | | | | | | | | | | | call name
1125 | | | | | | | | | | | | | | | minReads=5
1126 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1127 | | | | | | | | | | | | | | | alwaysRaise=[]
1128 | | | | | | | | | | | | | | | freeRegs=[]
1129 | | | | | | | | | | | | | | | refJoin join
1130 | | | | | | | | | | | | | | | minReads=0
1131 | | | | | | | | | | | | | | | mayRaise=[]
1132 | | | | | | | | | | | | | | | alwaysRaise=[]
1133 | | | | | | | | | | | | | | | freeRegs=[]
1134 | | | | | | | | | | | | | | <default>
1135 | | | | | | | | | | | | | | | fail []
1136 | | | | | | | | | | | | | | | minReads=0
1137 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1138 | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
1139 | | | | | | | | | | | | | | | freeRegs=[]
1140 | | | | | | | | | | <onException ExceptionFailure>
1141 | | | | | | | | | | | comment "raiseAgainIfConsumed"
1142 | | | | | | | | | | | minReads=0
1143 | | | | | | | | | | | mayRaise=[ExceptionFailure]
1144 | | | | | | | | | | | alwaysRaise=[]
1145 | | | | | | | | | | | freeRegs=[]
1146 | | | | | | | | | | | saveInput
1147 | | | | | | | | | | | minReads=0
1148 | | | | | | | | | | | mayRaise=[ExceptionFailure]
1149 | | | | | | | | | | | alwaysRaise=[]
1150 | | | | | | | | | | | freeRegs=[]
1151 | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1152 | | | | | | | | | | | minReads=0
1153 | | | | | | | | | | | mayRaise=[ExceptionFailure]
1154 | | | | | | | | | | | alwaysRaise=[]
1155 | | | | | | | | | | | freeRegs=[]
1156 | | | | | | | | | | | choicesBranch
1157 | | | | | | | | | | | minReads=0
1158 | | | | | | | | | | | mayRaise=[ExceptionFailure]
1159 | | | | | | | | | | | alwaysRaise=[]
1160 | | | | | | | | | | | freeRegs=[]
1161 | | | | | | | | | | | | <branch (\u_0 -> u_0)>
1162 | | | | | | | | | | | | | call name
1163 | | | | | | | | | | | | | minReads=0
1164 | | | | | | | | | | | | | mayRaise=[]
1165 | | | | | | | | | | | | | alwaysRaise=[]
1166 | | | | | | | | | | | | | freeRegs=[]
1167 | | | | | | | | | | | | | refJoin join
1168 | | | | | | | | | | | | | minReads=0
1169 | | | | | | | | | | | | | mayRaise=[]
1170 | | | | | | | | | | | | | alwaysRaise=[]
1171 | | | | | | | | | | | | | freeRegs=[]
1172 | | | | | | | | | | | | <default>
1173 | | | | | | | | | | | | | fail []
1174 | | | | | | | | | | | | | minReads=0
1175 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
1176 | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
1177 | | | | | | | | | | | | | freeRegs=[]
1178 | | | | | | | | <default>
1179 | | | | | | | | | fail []
1180 | | | | | | | | | minReads=0
1181 | | | | | | | | | mayRaise=[ExceptionFailure]
1182 | | | | | | | | | alwaysRaise=[ExceptionFailure]
1183 | | | | | | | | | freeRegs=[]
1186 | | | | | minReads=0
1187 | | | | | mayRaise=[ExceptionFailure]
1188 | | | | | alwaysRaise=[ExceptionFailure]
1189 | | | | | freeRegs=[]
1192 mayRaise=[ExceptionFailure]
1195 | pushValue (\u_0 -> \u_1 -> '(')
1197 | mayRaise=[ExceptionFailure]
1200 | comment "satisfy ((GHC.Classes.==) '(')"
1202 | mayRaise=[ExceptionFailure]
1205 | read ((GHC.Classes.==) '(')
1207 | mayRaise=[ExceptionFailure]
1210 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1212 | mayRaise=[ExceptionFailure]
1217 | mayRaise=[ExceptionFailure]
1220 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1232 mayRaise=[ExceptionFailure]
1235 | pushValue (\u_0 -> \u_1 -> ')')
1237 | mayRaise=[ExceptionFailure]
1240 | comment "satisfy ((GHC.Classes.==) ')')"
1242 | mayRaise=[ExceptionFailure]
1245 | read ((GHC.Classes.==) ')')
1247 | mayRaise=[ExceptionFailure]
1250 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1252 | mayRaise=[ExceptionFailure]
1257 | mayRaise=[ExceptionFailure]
1260 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1272 mayRaise=[ExceptionFailure]
1275 | pushValue (\u_0 -> \u_1 -> ',')
1277 | mayRaise=[ExceptionFailure]
1280 | comment "satisfy ((GHC.Classes.==) ',')"
1282 | mayRaise=[ExceptionFailure]
1285 | read ((GHC.Classes.==) ',')
1287 | mayRaise=[ExceptionFailure]
1290 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1292 | mayRaise=[ExceptionFailure]
1297 | mayRaise=[ExceptionFailure]
1300 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1312 mayRaise=[ExceptionFailure]
1315 | pushValue (\u_0 -> \u_1 -> ';')
1317 | mayRaise=[ExceptionFailure]
1320 | comment "satisfy ((GHC.Classes.==) ';')"
1322 | mayRaise=[ExceptionFailure]
1325 | read ((GHC.Classes.==) ';')
1327 | mayRaise=[ExceptionFailure]
1330 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1332 | mayRaise=[ExceptionFailure]
1337 | mayRaise=[ExceptionFailure]
1340 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1352 mayRaise=[ExceptionFailure]
1355 | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
1357 | mayRaise=[ExceptionFailure]
1362 | mayRaise=[ExceptionFailure]
1365 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1367 | mayRaise=[ExceptionFailure]
1370 | pushValue (\u_0 -> u_0)
1372 | mayRaise=[ExceptionFailure]
1377 | mayRaise=[ExceptionFailure]
1382 | mayRaise=[ExceptionFailure]
1386 | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_3)
1388 | | | mayRaise=[ExceptionFailure]
1389 | | | alwaysRaise=[]
1390 | | | freeRegs=[reg]
1391 | | | comment "satisfy ((GHC.Classes.==) '!')"
1393 | | | mayRaise=[ExceptionFailure]
1394 | | | alwaysRaise=[]
1395 | | | freeRegs=[reg]
1396 | | | read ((GHC.Classes.==) '!')
1398 | | | mayRaise=[ExceptionFailure]
1399 | | | alwaysRaise=[]
1400 | | | freeRegs=[reg]
1401 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1403 | | | mayRaise=[ExceptionFailure]
1404 | | | alwaysRaise=[]
1405 | | | freeRegs=[reg]
1408 | | | mayRaise=[ExceptionFailure]
1409 | | | alwaysRaise=[]
1410 | | | freeRegs=[reg]
1411 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1413 | | | mayRaise=[ExceptionFailure]
1414 | | | alwaysRaise=[]
1415 | | | freeRegs=[reg]
1418 | | | mayRaise=[ExceptionFailure]
1419 | | | alwaysRaise=[]
1420 | | | freeRegs=[reg]
1421 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1424 | | | alwaysRaise=[]
1425 | | | freeRegs=[reg]
1426 | | | readRegister reg
1429 | | | alwaysRaise=[]
1430 | | | freeRegs=[reg]
1431 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1434 | | | alwaysRaise=[]
1435 | | | freeRegs=[reg]
1436 | | | writeRegister reg
1439 | | | alwaysRaise=[]
1440 | | | freeRegs=[reg]
1444 | | | alwaysRaise=[]
1447 | | | comment "raiseAgainIfConsumed"
1449 | | | mayRaise=[ExceptionFailure]
1450 | | | alwaysRaise=[]
1451 | | | freeRegs=[reg]
1454 | | | mayRaise=[ExceptionFailure]
1455 | | | alwaysRaise=[]
1456 | | | freeRegs=[reg]
1457 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1459 | | | mayRaise=[ExceptionFailure]
1460 | | | alwaysRaise=[]
1461 | | | freeRegs=[reg]
1464 | | | mayRaise=[ExceptionFailure]
1465 | | | alwaysRaise=[]
1466 | | | freeRegs=[reg]
1467 | | | | <branch (\u_0 -> u_0)>
1468 | | | | | readRegister reg
1469 | | | | | minReads=0
1470 | | | | | mayRaise=[]
1471 | | | | | alwaysRaise=[]
1472 | | | | | freeRegs=[reg]
1474 | | | | | minReads=0
1475 | | | | | mayRaise=[]
1476 | | | | | alwaysRaise=[]
1477 | | | | | freeRegs=[]
1478 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1479 | | | | | minReads=0
1480 | | | | | mayRaise=[]
1481 | | | | | alwaysRaise=[]
1482 | | | | | freeRegs=[]
1483 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1484 | | | | | minReads=0
1485 | | | | | mayRaise=[]
1486 | | | | | alwaysRaise=[]
1487 | | | | | freeRegs=[]
1489 | | | | | minReads=0
1490 | | | | | mayRaise=[]
1491 | | | | | alwaysRaise=[]
1492 | | | | | freeRegs=[]
1493 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1494 | | | | | minReads=0
1495 | | | | | mayRaise=[]
1496 | | | | | alwaysRaise=[]
1497 | | | | | freeRegs=[]
1499 | | | | | minReads=0
1500 | | | | | mayRaise=[]
1501 | | | | | alwaysRaise=[]
1502 | | | | | freeRegs=[]
1505 | | | | | minReads=0
1506 | | | | | mayRaise=[ExceptionFailure]
1507 | | | | | alwaysRaise=[ExceptionFailure]
1508 | | | | | freeRegs=[]
1511 mayRaise=[ExceptionFailure]
1514 | pushValue (\u_0 -> \u_1 -> u_1)
1516 | mayRaise=[ExceptionFailure]
1521 | mayRaise=[ExceptionFailure]
1524 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1526 | mayRaise=[ExceptionFailure]
1534 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1544 | catch ExceptionFailure
1546 | mayRaise=[ExceptionFailure]
1550 | | | pushValue (\u_0 -> GHC.Tuple.())
1552 | | | mayRaise=[ExceptionFailure]
1553 | | | alwaysRaise=[]
1557 | | | mayRaise=[ExceptionFailure]
1558 | | | alwaysRaise=[]
1560 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1563 | | | alwaysRaise=[]
1565 | | | commit ExceptionFailure
1568 | | | alwaysRaise=[]
1573 | | | alwaysRaise=[]
1575 | | <onException ExceptionFailure>
1576 | | | comment "raiseAgainIfConsumed"
1578 | | | mayRaise=[ExceptionFailure]
1579 | | | alwaysRaise=[]
1583 | | | mayRaise=[ExceptionFailure]
1584 | | | alwaysRaise=[]
1586 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1588 | | | mayRaise=[ExceptionFailure]
1589 | | | alwaysRaise=[]
1593 | | | mayRaise=[ExceptionFailure]
1594 | | | alwaysRaise=[]
1596 | | | | <branch (\u_0 -> u_0)>
1598 | | | | | minReads=0
1599 | | | | | mayRaise=[]
1600 | | | | | alwaysRaise=[]
1601 | | | | | freeRegs=[]
1602 | | | | | refJoin join
1603 | | | | | minReads=0
1604 | | | | | mayRaise=[]
1605 | | | | | alwaysRaise=[]
1606 | | | | | freeRegs=[]
1609 | | | | | minReads=0
1610 | | | | | mayRaise=[ExceptionFailure]
1611 | | | | | alwaysRaise=[ExceptionFailure]
1612 | | | | | freeRegs=[]
1615 mayRaise=[ExceptionFailure]
1618 | pushValue (\u_0 -> \u_1 -> u_1)
1620 | mayRaise=[ExceptionFailure]
1623 | catch ExceptionFailure
1625 | mayRaise=[ExceptionFailure]
1629 | | | pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
1631 | | | mayRaise=[ExceptionFailure]
1632 | | | alwaysRaise=[]
1634 | | | comment "satisfy Parsers.Nandlang.nandIdentStart"
1636 | | | mayRaise=[ExceptionFailure]
1637 | | | alwaysRaise=[]
1639 | | | read Parsers.Nandlang.nandIdentStart
1641 | | | mayRaise=[ExceptionFailure]
1642 | | | alwaysRaise=[]
1644 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1646 | | | mayRaise=[ExceptionFailure]
1647 | | | alwaysRaise=[]
1649 | | | pushValue (\u_0 -> u_0)
1651 | | | mayRaise=[ExceptionFailure]
1652 | | | alwaysRaise=[]
1654 | | | newRegister reg
1656 | | | mayRaise=[ExceptionFailure]
1657 | | | alwaysRaise=[]
1661 | | | mayRaise=[ExceptionFailure]
1662 | | | alwaysRaise=[]
1663 | | | freeRegs=[reg]
1665 | | | | | pushValue (\u_0 -> \u_1 -> u_1)
1666 | | | | | minReads=1
1667 | | | | | mayRaise=[ExceptionFailure]
1668 | | | | | alwaysRaise=[]
1669 | | | | | freeRegs=[reg]
1670 | | | | | comment "satisfy Parsers.Nandlang.nandIdentLetter"
1671 | | | | | minReads=1
1672 | | | | | mayRaise=[ExceptionFailure]
1673 | | | | | alwaysRaise=[]
1674 | | | | | freeRegs=[reg]
1675 | | | | | read Parsers.Nandlang.nandIdentLetter
1676 | | | | | minReads=1
1677 | | | | | mayRaise=[ExceptionFailure]
1678 | | | | | alwaysRaise=[]
1679 | | | | | freeRegs=[reg]
1680 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1681 | | | | | minReads=0
1682 | | | | | mayRaise=[]
1683 | | | | | alwaysRaise=[]
1684 | | | | | freeRegs=[reg]
1685 | | | | | readRegister reg
1686 | | | | | minReads=0
1687 | | | | | mayRaise=[]
1688 | | | | | alwaysRaise=[]
1689 | | | | | freeRegs=[reg]
1690 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1691 | | | | | minReads=0
1692 | | | | | mayRaise=[]
1693 | | | | | alwaysRaise=[]
1694 | | | | | freeRegs=[reg]
1695 | | | | | writeRegister reg
1696 | | | | | minReads=0
1697 | | | | | mayRaise=[]
1698 | | | | | alwaysRaise=[]
1699 | | | | | freeRegs=[reg]
1701 | | | | | minReads=0
1702 | | | | | mayRaise=[]
1703 | | | | | alwaysRaise=[]
1704 | | | | | freeRegs=[]
1706 | | | | | comment "raiseAgainIfConsumed"
1707 | | | | | minReads=1
1708 | | | | | mayRaise=[ExceptionFailure]
1709 | | | | | alwaysRaise=[]
1710 | | | | | freeRegs=[reg]
1712 | | | | | minReads=1
1713 | | | | | mayRaise=[ExceptionFailure]
1714 | | | | | alwaysRaise=[]
1715 | | | | | freeRegs=[reg]
1716 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1717 | | | | | minReads=1
1718 | | | | | mayRaise=[ExceptionFailure]
1719 | | | | | alwaysRaise=[]
1720 | | | | | freeRegs=[reg]
1721 | | | | | choicesBranch
1722 | | | | | minReads=1
1723 | | | | | mayRaise=[ExceptionFailure]
1724 | | | | | alwaysRaise=[]
1725 | | | | | freeRegs=[reg]
1726 | | | | | | <branch (\u_0 -> u_0)>
1727 | | | | | | | readRegister reg
1728 | | | | | | | minReads=1
1729 | | | | | | | mayRaise=[ExceptionFailure]
1730 | | | | | | | alwaysRaise=[]
1731 | | | | | | | freeRegs=[reg]
1732 | | | | | | | call name
1733 | | | | | | | minReads=1
1734 | | | | | | | mayRaise=[ExceptionFailure]
1735 | | | | | | | alwaysRaise=[]
1736 | | | | | | | freeRegs=[]
1737 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1738 | | | | | | | minReads=1
1739 | | | | | | | mayRaise=[ExceptionFailure]
1740 | | | | | | | alwaysRaise=[]
1741 | | | | | | | freeRegs=[]
1742 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1743 | | | | | | | minReads=1
1744 | | | | | | | mayRaise=[ExceptionFailure]
1745 | | | | | | | alwaysRaise=[]
1746 | | | | | | | freeRegs=[]
1747 | | | | | | | commit ExceptionFailure
1748 | | | | | | | minReads=1
1749 | | | | | | | mayRaise=[ExceptionFailure]
1750 | | | | | | | alwaysRaise=[]
1751 | | | | | | | freeRegs=[]
1752 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1753 | | | | | | | minReads=1
1754 | | | | | | | mayRaise=[ExceptionFailure]
1755 | | | | | | | alwaysRaise=[]
1756 | | | | | | | freeRegs=[]
1757 | | | | | | | call name
1758 | | | | | | | minReads=1
1759 | | | | | | | mayRaise=[ExceptionFailure]
1760 | | | | | | | alwaysRaise=[]
1761 | | | | | | | freeRegs=[]
1762 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1763 | | | | | | | minReads=0
1764 | | | | | | | mayRaise=[]
1765 | | | | | | | alwaysRaise=[]
1766 | | | | | | | freeRegs=[]
1768 | | | | | | | minReads=0
1769 | | | | | | | mayRaise=[]
1770 | | | | | | | alwaysRaise=[]
1771 | | | | | | | freeRegs=[]
1772 | | | | | | <default>
1773 | | | | | | | fail []
1774 | | | | | | | minReads=0
1775 | | | | | | | mayRaise=[ExceptionFailure]
1776 | | | | | | | alwaysRaise=[ExceptionFailure]
1777 | | | | | | | freeRegs=[]
1778 | | <onException ExceptionFailure>
1781 | | | mayRaise=[ExceptionFailure]
1782 | | | alwaysRaise=[ExceptionFailure]
1786 | | | mayRaise=[ExceptionFailure]
1787 | | | alwaysRaise=[ExceptionFailure]
1791 mayRaise=[ExceptionFailure]
1794 | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> u_3)
1796 | mayRaise=[ExceptionFailure]
1799 | comment "satisfy ((GHC.Classes.==) '{')"
1801 | mayRaise=[ExceptionFailure]
1804 | read ((GHC.Classes.==) '{')
1806 | mayRaise=[ExceptionFailure]
1809 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1811 | mayRaise=[ExceptionFailure]
1816 | mayRaise=[ExceptionFailure]
1819 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1821 | mayRaise=[ExceptionFailure]
1824 | pushValue (\u_0 -> u_0)
1826 | mayRaise=[ExceptionFailure]
1831 | mayRaise=[ExceptionFailure]
1836 | mayRaise=[ExceptionFailure]
1840 | | | pushValue (\u_0 -> \u_1 -> u_1)
1842 | | | mayRaise=[ExceptionFailure]
1843 | | | alwaysRaise=[]
1844 | | | freeRegs=[reg]
1848 | | | alwaysRaise=[]
1849 | | | freeRegs=[reg]
1850 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1853 | | | | alwaysRaise=[]
1854 | | | | freeRegs=[reg]
1855 | | | | readRegister reg
1858 | | | | alwaysRaise=[]
1859 | | | | freeRegs=[reg]
1860 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1863 | | | | alwaysRaise=[]
1864 | | | | freeRegs=[reg]
1865 | | | | writeRegister reg
1868 | | | | alwaysRaise=[]
1869 | | | | freeRegs=[reg]
1873 | | | | alwaysRaise=[]
1875 | | | catch ExceptionFailure
1877 | | | mayRaise=[ExceptionFailure]
1878 | | | alwaysRaise=[]
1879 | | | freeRegs=[reg]
1880 | | | | <catchScope>
1881 | | | | | pushValue (\u_0 -> GHC.Tuple.())
1882 | | | | | minReads=2
1883 | | | | | mayRaise=[ExceptionFailure]
1884 | | | | | alwaysRaise=[]
1885 | | | | | freeRegs=[reg]
1886 | | | | | catch ExceptionFailure
1887 | | | | | minReads=2
1888 | | | | | mayRaise=[ExceptionFailure]
1889 | | | | | alwaysRaise=[]
1890 | | | | | freeRegs=[reg]
1891 | | | | | | <catchScope>
1892 | | | | | | | pushValue (\u_0 -> \u_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
1893 | | | | | | | minReads=2
1894 | | | | | | | mayRaise=[ExceptionFailure]
1895 | | | | | | | alwaysRaise=[]
1896 | | | | | | | freeRegs=[reg]
1897 | | | | | | | comment "satisfy ((GHC.Classes.==) 'i')"
1898 | | | | | | | minReads=2
1899 | | | | | | | mayRaise=[ExceptionFailure]
1900 | | | | | | | alwaysRaise=[]
1901 | | | | | | | freeRegs=[reg]
1902 | | | | | | | read ((GHC.Classes.==) 'i')
1903 | | | | | | | minReads=2
1904 | | | | | | | mayRaise=[ExceptionFailure]
1905 | | | | | | | alwaysRaise=[]
1906 | | | | | | | freeRegs=[reg]
1907 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1908 | | | | | | | minReads=1
1909 | | | | | | | mayRaise=[ExceptionFailure]
1910 | | | | | | | alwaysRaise=[]
1911 | | | | | | | freeRegs=[reg]
1912 | | | | | | | comment "satisfy ((GHC.Classes.==) 'f')"
1913 | | | | | | | minReads=1
1914 | | | | | | | mayRaise=[ExceptionFailure]
1915 | | | | | | | alwaysRaise=[]
1916 | | | | | | | freeRegs=[reg]
1917 | | | | | | | read ((GHC.Classes.==) 'f')
1918 | | | | | | | minReads=1
1919 | | | | | | | mayRaise=[ExceptionFailure]
1920 | | | | | | | alwaysRaise=[]
1921 | | | | | | | freeRegs=[reg]
1922 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1923 | | | | | | | minReads=0
1924 | | | | | | | mayRaise=[]
1925 | | | | | | | alwaysRaise=[]
1926 | | | | | | | freeRegs=[reg]
1927 | | | | | | | commit ExceptionFailure
1928 | | | | | | | minReads=0
1929 | | | | | | | mayRaise=[]
1930 | | | | | | | alwaysRaise=[]
1931 | | | | | | | freeRegs=[reg]
1932 | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1933 | | | | | | | minReads=0
1934 | | | | | | | mayRaise=[]
1935 | | | | | | | alwaysRaise=[]
1936 | | | | | | | freeRegs=[reg]
1937 | | | | | | | commit ExceptionFailure
1938 | | | | | | | minReads=0
1939 | | | | | | | mayRaise=[]
1940 | | | | | | | alwaysRaise=[]
1941 | | | | | | | freeRegs=[reg]
1942 | | | | | | | refJoin join
1943 | | | | | | | minReads=0
1944 | | | | | | | mayRaise=[]
1945 | | | | | | | alwaysRaise=[]
1946 | | | | | | | freeRegs=[reg]
1947 | | | | | | <onException ExceptionFailure>
1948 | | | | | | | loadInput
1949 | | | | | | | minReads=0
1950 | | | | | | | mayRaise=[ExceptionFailure]
1951 | | | | | | | alwaysRaise=[ExceptionFailure]
1952 | | | | | | | freeRegs=[]
1953 | | | | | | | fail []
1954 | | | | | | | minReads=0
1955 | | | | | | | mayRaise=[ExceptionFailure]
1956 | | | | | | | alwaysRaise=[ExceptionFailure]
1957 | | | | | | | freeRegs=[]
1958 | | | | <onException ExceptionFailure>
1959 | | | | | comment "raiseAgainIfConsumed"
1960 | | | | | minReads=4
1961 | | | | | mayRaise=[ExceptionFailure]
1962 | | | | | alwaysRaise=[]
1963 | | | | | freeRegs=[reg]
1965 | | | | | minReads=4
1966 | | | | | mayRaise=[ExceptionFailure]
1967 | | | | | alwaysRaise=[]
1968 | | | | | freeRegs=[reg]
1969 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1970 | | | | | minReads=4
1971 | | | | | mayRaise=[ExceptionFailure]
1972 | | | | | alwaysRaise=[]
1973 | | | | | freeRegs=[reg]
1974 | | | | | choicesBranch
1975 | | | | | minReads=4
1976 | | | | | mayRaise=[ExceptionFailure]
1977 | | | | | alwaysRaise=[]
1978 | | | | | freeRegs=[reg]
1979 | | | | | | <branch (\u_0 -> u_0)>
1980 | | | | | | | catch ExceptionFailure
1981 | | | | | | | minReads=4
1982 | | | | | | | mayRaise=[ExceptionFailure]
1983 | | | | | | | alwaysRaise=[]
1984 | | | | | | | freeRegs=[reg]
1985 | | | | | | | | <catchScope>
1986 | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
1987 | | | | | | | | | minReads=7
1988 | | | | | | | | | mayRaise=[ExceptionFailure]
1989 | | | | | | | | | alwaysRaise=[]
1990 | | | | | | | | | freeRegs=[]
1991 | | | | | | | | | catch ExceptionFailure
1992 | | | | | | | | | minReads=7
1993 | | | | | | | | | mayRaise=[ExceptionFailure]
1994 | | | | | | | | | alwaysRaise=[]
1995 | | | | | | | | | freeRegs=[]
1996 | | | | | | | | | | <catchScope>
1997 | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
1998 | | | | | | | | | | | minReads=7
1999 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2000 | | | | | | | | | | | alwaysRaise=[]
2001 | | | | | | | | | | | freeRegs=[]
2002 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'w')"
2003 | | | | | | | | | | | minReads=7
2004 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2005 | | | | | | | | | | | alwaysRaise=[]
2006 | | | | | | | | | | | freeRegs=[]
2007 | | | | | | | | | | | read ((GHC.Classes.==) 'w')
2008 | | | | | | | | | | | minReads=7
2009 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2010 | | | | | | | | | | | alwaysRaise=[]
2011 | | | | | | | | | | | freeRegs=[]
2012 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2013 | | | | | | | | | | | minReads=6
2014 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2015 | | | | | | | | | | | alwaysRaise=[]
2016 | | | | | | | | | | | freeRegs=[]
2017 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'h')"
2018 | | | | | | | | | | | minReads=6
2019 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2020 | | | | | | | | | | | alwaysRaise=[]
2021 | | | | | | | | | | | freeRegs=[]
2022 | | | | | | | | | | | read ((GHC.Classes.==) 'h')
2023 | | | | | | | | | | | minReads=6
2024 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2025 | | | | | | | | | | | alwaysRaise=[]
2026 | | | | | | | | | | | freeRegs=[]
2027 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2028 | | | | | | | | | | | minReads=5
2029 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2030 | | | | | | | | | | | alwaysRaise=[]
2031 | | | | | | | | | | | freeRegs=[]
2032 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'i')"
2033 | | | | | | | | | | | minReads=5
2034 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2035 | | | | | | | | | | | alwaysRaise=[]
2036 | | | | | | | | | | | freeRegs=[]
2037 | | | | | | | | | | | read ((GHC.Classes.==) 'i')
2038 | | | | | | | | | | | minReads=5
2039 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2040 | | | | | | | | | | | alwaysRaise=[]
2041 | | | | | | | | | | | freeRegs=[]
2042 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2043 | | | | | | | | | | | minReads=4
2044 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2045 | | | | | | | | | | | alwaysRaise=[]
2046 | | | | | | | | | | | freeRegs=[]
2047 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'l')"
2048 | | | | | | | | | | | minReads=4
2049 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2050 | | | | | | | | | | | alwaysRaise=[]
2051 | | | | | | | | | | | freeRegs=[]
2052 | | | | | | | | | | | read ((GHC.Classes.==) 'l')
2053 | | | | | | | | | | | minReads=4
2054 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2055 | | | | | | | | | | | alwaysRaise=[]
2056 | | | | | | | | | | | freeRegs=[]
2057 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2058 | | | | | | | | | | | minReads=3
2059 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2060 | | | | | | | | | | | alwaysRaise=[]
2061 | | | | | | | | | | | freeRegs=[]
2062 | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'e')"
2063 | | | | | | | | | | | minReads=3
2064 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2065 | | | | | | | | | | | alwaysRaise=[]
2066 | | | | | | | | | | | freeRegs=[]
2067 | | | | | | | | | | | read ((GHC.Classes.==) 'e')
2068 | | | | | | | | | | | minReads=3
2069 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2070 | | | | | | | | | | | alwaysRaise=[]
2071 | | | | | | | | | | | freeRegs=[]
2072 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2073 | | | | | | | | | | | minReads=2
2074 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2075 | | | | | | | | | | | alwaysRaise=[]
2076 | | | | | | | | | | | freeRegs=[]
2077 | | | | | | | | | | | commit ExceptionFailure
2078 | | | | | | | | | | | minReads=2
2079 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2080 | | | | | | | | | | | alwaysRaise=[]
2081 | | | | | | | | | | | freeRegs=[]
2082 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2083 | | | | | | | | | | | minReads=2
2084 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2085 | | | | | | | | | | | alwaysRaise=[]
2086 | | | | | | | | | | | freeRegs=[]
2087 | | | | | | | | | | | call name
2088 | | | | | | | | | | | minReads=2
2089 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2090 | | | | | | | | | | | alwaysRaise=[]
2091 | | | | | | | | | | | freeRegs=[]
2092 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2093 | | | | | | | | | | | minReads=0
2094 | | | | | | | | | | | mayRaise=[]
2095 | | | | | | | | | | | alwaysRaise=[]
2096 | | | | | | | | | | | freeRegs=[]
2097 | | | | | | | | | | | call name
2098 | | | | | | | | | | | minReads=0
2099 | | | | | | | | | | | mayRaise=[]
2100 | | | | | | | | | | | alwaysRaise=[]
2101 | | | | | | | | | | | freeRegs=[]
2102 | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2103 | | | | | | | | | | | minReads=0
2104 | | | | | | | | | | | mayRaise=[]
2105 | | | | | | | | | | | alwaysRaise=[]
2106 | | | | | | | | | | | freeRegs=[reg]
2107 | | | | | | | | | | | commit ExceptionFailure
2108 | | | | | | | | | | | minReads=0
2109 | | | | | | | | | | | mayRaise=[]
2110 | | | | | | | | | | | alwaysRaise=[]
2111 | | | | | | | | | | | freeRegs=[reg]
2112 | | | | | | | | | | | refJoin join
2113 | | | | | | | | | | | minReads=0
2114 | | | | | | | | | | | mayRaise=[]
2115 | | | | | | | | | | | alwaysRaise=[]
2116 | | | | | | | | | | | freeRegs=[reg]
2117 | | | | | | | | | | <onException ExceptionFailure>
2118 | | | | | | | | | | | loadInput
2119 | | | | | | | | | | | minReads=0
2120 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2121 | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2122 | | | | | | | | | | | freeRegs=[]
2123 | | | | | | | | | | | fail []
2124 | | | | | | | | | | | minReads=0
2125 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2126 | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2127 | | | | | | | | | | | freeRegs=[]
2128 | | | | | | | | <onException ExceptionFailure>
2129 | | | | | | | | | comment "raiseAgainIfConsumed"
2130 | | | | | | | | | minReads=4
2131 | | | | | | | | | mayRaise=[ExceptionFailure]
2132 | | | | | | | | | alwaysRaise=[]
2133 | | | | | | | | | freeRegs=[reg]
2134 | | | | | | | | | saveInput
2135 | | | | | | | | | minReads=4
2136 | | | | | | | | | mayRaise=[ExceptionFailure]
2137 | | | | | | | | | alwaysRaise=[]
2138 | | | | | | | | | freeRegs=[reg]
2139 | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2140 | | | | | | | | | minReads=4
2141 | | | | | | | | | mayRaise=[ExceptionFailure]
2142 | | | | | | | | | alwaysRaise=[]
2143 | | | | | | | | | freeRegs=[reg]
2144 | | | | | | | | | choicesBranch
2145 | | | | | | | | | minReads=4
2146 | | | | | | | | | mayRaise=[ExceptionFailure]
2147 | | | | | | | | | alwaysRaise=[]
2148 | | | | | | | | | freeRegs=[reg]
2149 | | | | | | | | | | <branch (\u_0 -> u_0)>
2150 | | | | | | | | | | | catch ExceptionFailure
2151 | | | | | | | | | | | minReads=4
2152 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2153 | | | | | | | | | | | alwaysRaise=[]
2154 | | | | | | | | | | | freeRegs=[reg]
2155 | | | | | | | | | | | | <catchScope>
2156 | | | | | | | | | | | | | catch ExceptionFailure
2157 | | | | | | | | | | | | | minReads=8
2158 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2159 | | | | | | | | | | | | | alwaysRaise=[]
2160 | | | | | | | | | | | | | freeRegs=[reg]
2161 | | | | | | | | | | | | | | <catchScope>
2162 | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> \u_8 -> \u_9 -> u_8)
2163 | | | | | | | | | | | | | | | minReads=8
2164 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2165 | | | | | | | | | | | | | | | alwaysRaise=[]
2166 | | | | | | | | | | | | | | | freeRegs=[reg]
2167 | | | | | | | | | | | | | | | join join
2168 | | | | | | | | | | | | | | | minReads=8
2169 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2170 | | | | | | | | | | | | | | | alwaysRaise=[]
2171 | | | | | | | | | | | | | | | freeRegs=[reg]
2172 | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2173 | | | | | | | | | | | | | | | | minReads=8
2174 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2175 | | | | | | | | | | | | | | | | alwaysRaise=[]
2176 | | | | | | | | | | | | | | | | freeRegs=[reg]
2177 | | | | | | | | | | | | | | | | call name
2178 | | | | | | | | | | | | | | | | minReads=8
2179 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2180 | | | | | | | | | | | | | | | | alwaysRaise=[]
2181 | | | | | | | | | | | | | | | | freeRegs=[reg]
2182 | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2183 | | | | | | | | | | | | | | | | minReads=6
2184 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2185 | | | | | | | | | | | | | | | | alwaysRaise=[]
2186 | | | | | | | | | | | | | | | | freeRegs=[reg]
2187 | | | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
2188 | | | | | | | | | | | | | | | | minReads=6
2189 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2190 | | | | | | | | | | | | | | | | alwaysRaise=[]
2191 | | | | | | | | | | | | | | | | freeRegs=[reg]
2192 | | | | | | | | | | | | | | | | newRegister reg
2193 | | | | | | | | | | | | | | | | minReads=6
2194 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2195 | | | | | | | | | | | | | | | | alwaysRaise=[]
2196 | | | | | | | | | | | | | | | | freeRegs=[reg]
2197 | | | | | | | | | | | | | | | | iter loop
2198 | | | | | | | | | | | | | | | | minReads=6
2199 | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2200 | | | | | | | | | | | | | | | | alwaysRaise=[]
2201 | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2202 | | | | | | | | | | | | | | | | | <ok>
2203 | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
2204 | | | | | | | | | | | | | | | | | | minReads=4
2205 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2206 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2207 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2208 | | | | | | | | | | | | | | | | | | call name
2209 | | | | | | | | | | | | | | | | | | minReads=4
2210 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2211 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2212 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2213 | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2214 | | | | | | | | | | | | | | | | | | minReads=4
2215 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2216 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2217 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2218 | | | | | | | | | | | | | | | | | | call name
2219 | | | | | | | | | | | | | | | | | | minReads=4
2220 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2221 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2222 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2223 | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2224 | | | | | | | | | | | | | | | | | | minReads=2
2225 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2226 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2227 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2228 | | | | | | | | | | | | | | | | | | call name
2229 | | | | | | | | | | | | | | | | | | minReads=2
2230 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2231 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2232 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2233 | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2234 | | | | | | | | | | | | | | | | | | minReads=0
2235 | | | | | | | | | | | | | | | | | | mayRaise=[]
2236 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2237 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2238 | | | | | | | | | | | | | | | | | | readRegister reg
2239 | | | | | | | | | | | | | | | | | | minReads=0
2240 | | | | | | | | | | | | | | | | | | mayRaise=[]
2241 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2242 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2243 | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2244 | | | | | | | | | | | | | | | | | | minReads=0
2245 | | | | | | | | | | | | | | | | | | mayRaise=[]
2246 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2247 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2248 | | | | | | | | | | | | | | | | | | writeRegister reg
2249 | | | | | | | | | | | | | | | | | | minReads=0
2250 | | | | | | | | | | | | | | | | | | mayRaise=[]
2251 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2252 | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2253 | | | | | | | | | | | | | | | | | | jump loop
2254 | | | | | | | | | | | | | | | | | | minReads=0
2255 | | | | | | | | | | | | | | | | | | mayRaise=[]
2256 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2257 | | | | | | | | | | | | | | | | | | freeRegs=[]
2258 | | | | | | | | | | | | | | | | | <ko>
2259 | | | | | | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
2260 | | | | | | | | | | | | | | | | | | minReads=6
2261 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2262 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2263 | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2264 | | | | | | | | | | | | | | | | | | saveInput
2265 | | | | | | | | | | | | | | | | | | minReads=6
2266 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2267 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2268 | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2269 | | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2270 | | | | | | | | | | | | | | | | | | minReads=6
2271 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2272 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2273 | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2274 | | | | | | | | | | | | | | | | | | choicesBranch
2275 | | | | | | | | | | | | | | | | | | minReads=6
2276 | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2277 | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2278 | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2279 | | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
2280 | | | | | | | | | | | | | | | | | | | | readRegister reg
2281 | | | | | | | | | | | | | | | | | | | | minReads=6
2282 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2283 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2284 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2285 | | | | | | | | | | | | | | | | | | | | call name
2286 | | | | | | | | | | | | | | | | | | | | minReads=6
2287 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2288 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2289 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2290 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2291 | | | | | | | | | | | | | | | | | | | | minReads=6
2292 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2293 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2294 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2295 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2296 | | | | | | | | | | | | | | | | | | | | minReads=6
2297 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2298 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2299 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2300 | | | | | | | | | | | | | | | | | | | | call name
2301 | | | | | | | | | | | | | | | | | | | | minReads=6
2302 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2303 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2304 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2305 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2306 | | | | | | | | | | | | | | | | | | | | minReads=6
2307 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2308 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2309 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2310 | | | | | | | | | | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) '=')"
2311 | | | | | | | | | | | | | | | | | | | | minReads=6
2312 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2313 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2314 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2315 | | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) '=')
2316 | | | | | | | | | | | | | | | | | | | | minReads=6
2317 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2318 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2319 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2320 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2321 | | | | | | | | | | | | | | | | | | | | minReads=5
2322 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2323 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2324 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2325 | | | | | | | | | | | | | | | | | | | | call name
2326 | | | | | | | | | | | | | | | | | | | | minReads=5
2327 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2328 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2329 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2330 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2331 | | | | | | | | | | | | | | | | | | | | minReads=4
2332 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2333 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2334 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2335 | | | | | | | | | | | | | | | | | | | | call name
2336 | | | | | | | | | | | | | | | | | | | | minReads=4
2337 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2338 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2339 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2340 | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2341 | | | | | | | | | | | | | | | | | | | | minReads=2
2342 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2343 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2344 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2345 | | | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
2346 | | | | | | | | | | | | | | | | | | | | minReads=2
2347 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2348 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2349 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2350 | | | | | | | | | | | | | | | | | | | | newRegister reg
2351 | | | | | | | | | | | | | | | | | | | | minReads=2
2352 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2353 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2354 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2355 | | | | | | | | | | | | | | | | | | | | iter loop
2356 | | | | | | | | | | | | | | | | | | | | minReads=2
2357 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2358 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2359 | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2360 | | | | | | | | | | | | | | | | | | | | | <ok>
2361 | | | | | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
2362 | | | | | | | | | | | | | | | | | | | | | | minReads=4
2363 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2364 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2365 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2366 | | | | | | | | | | | | | | | | | | | | | | call name
2367 | | | | | | | | | | | | | | | | | | | | | | minReads=4
2368 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2369 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2370 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2371 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2372 | | | | | | | | | | | | | | | | | | | | | | minReads=4
2373 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2374 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2375 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2376 | | | | | | | | | | | | | | | | | | | | | | call name
2377 | | | | | | | | | | | | | | | | | | | | | | minReads=4
2378 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2379 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2380 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2381 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2382 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2383 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2384 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2385 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2386 | | | | | | | | | | | | | | | | | | | | | | call name
2387 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2388 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2389 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2390 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2391 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2392 | | | | | | | | | | | | | | | | | | | | | | minReads=0
2393 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2394 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2395 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2396 | | | | | | | | | | | | | | | | | | | | | | readRegister reg
2397 | | | | | | | | | | | | | | | | | | | | | | minReads=0
2398 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2399 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2400 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2401 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2402 | | | | | | | | | | | | | | | | | | | | | | minReads=0
2403 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2404 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2405 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2406 | | | | | | | | | | | | | | | | | | | | | | writeRegister reg
2407 | | | | | | | | | | | | | | | | | | | | | | minReads=0
2408 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2409 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2410 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2411 | | | | | | | | | | | | | | | | | | | | | | jump loop
2412 | | | | | | | | | | | | | | | | | | | | | | minReads=0
2413 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2414 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2415 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[]
2416 | | | | | | | | | | | | | | | | | | | | | <ko>
2417 | | | | | | | | | | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
2418 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2419 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2420 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2421 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2422 | | | | | | | | | | | | | | | | | | | | | | saveInput
2423 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2424 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2425 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2426 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2427 | | | | | | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2428 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2429 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2430 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2431 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2432 | | | | | | | | | | | | | | | | | | | | | | choicesBranch
2433 | | | | | | | | | | | | | | | | | | | | | | minReads=2
2434 | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2435 | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2436 | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2437 | | | | | | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
2438 | | | | | | | | | | | | | | | | | | | | | | | | readRegister reg
2439 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2440 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2441 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2442 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg,reg]
2443 | | | | | | | | | | | | | | | | | | | | | | | | call name
2444 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2445 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2446 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2447 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2448 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2449 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2450 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2451 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2452 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2453 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2454 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2455 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2456 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2457 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2458 | | | | | | | | | | | | | | | | | | | | | | | | call name
2459 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2460 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2461 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2462 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2463 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2464 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2465 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2466 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2467 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2468 | | | | | | | | | | | | | | | | | | | | | | | | call name
2469 | | | | | | | | | | | | | | | | | | | | | | | | minReads=2
2470 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2471 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2472 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2473 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2474 | | | | | | | | | | | | | | | | | | | | | | | | minReads=0
2475 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2476 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2477 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2478 | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2479 | | | | | | | | | | | | | | | | | | | | | | | | minReads=0
2480 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2481 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2482 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2483 | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2484 | | | | | | | | | | | | | | | | | | | | | | | | minReads=0
2485 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2486 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2487 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2488 | | | | | | | | | | | | | | | | | | | | | | | | refJoin join
2489 | | | | | | | | | | | | | | | | | | | | | | | | minReads=0
2490 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[]
2491 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2492 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2493 | | | | | | | | | | | | | | | | | | | | | | | <default>
2494 | | | | | | | | | | | | | | | | | | | | | | | | fail []
2495 | | | | | | | | | | | | | | | | | | | | | | | | minReads=0
2496 | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2497 | | | | | | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2498 | | | | | | | | | | | | | | | | | | | | | | | | freeRegs=[]
2499 | | | | | | | | | | | | | | | | | | | <default>
2500 | | | | | | | | | | | | | | | | | | | | fail []
2501 | | | | | | | | | | | | | | | | | | | | minReads=0
2502 | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2503 | | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2504 | | | | | | | | | | | | | | | | | | | | freeRegs=[]
2505 | | | | | | | | | | | | | | | catch ExceptionFailure
2506 | | | | | | | | | | | | | | | minReads=8
2507 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2508 | | | | | | | | | | | | | | | alwaysRaise=[]
2509 | | | | | | | | | | | | | | | freeRegs=[reg]
2510 | | | | | | | | | | | | | | | | <catchScope>
2511 | | | | | | | | | | | | | | | | | pushValue (\u_0 -> GHC.Tuple.())
2512 | | | | | | | | | | | | | | | | | minReads=11
2513 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2514 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2515 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2516 | | | | | | | | | | | | | | | | | catch ExceptionFailure
2517 | | | | | | | | | | | | | | | | | minReads=11
2518 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2519 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2520 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2521 | | | | | | | | | | | | | | | | | | <catchScope>
2522 | | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
2523 | | | | | | | | | | | | | | | | | | | minReads=11
2524 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2525 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2526 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2527 | | | | | | | | | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'v')"
2528 | | | | | | | | | | | | | | | | | | | minReads=11
2529 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2530 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2531 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2532 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'v')
2533 | | | | | | | | | | | | | | | | | | | minReads=11
2534 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2535 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2536 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2537 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2538 | | | | | | | | | | | | | | | | | | | minReads=10
2539 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2540 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2541 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2542 | | | | | | | | | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'a')"
2543 | | | | | | | | | | | | | | | | | | | minReads=10
2544 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2545 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2546 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2547 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'a')
2548 | | | | | | | | | | | | | | | | | | | minReads=10
2549 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2550 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2551 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2552 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2553 | | | | | | | | | | | | | | | | | | | minReads=9
2554 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2555 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2556 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2557 | | | | | | | | | | | | | | | | | | | comment "satisfy ((GHC.Classes.==) 'r')"
2558 | | | | | | | | | | | | | | | | | | | minReads=9
2559 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2560 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2561 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2562 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'r')
2563 | | | | | | | | | | | | | | | | | | | minReads=9
2564 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2565 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2566 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2567 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2568 | | | | | | | | | | | | | | | | | | | minReads=8
2569 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2570 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2571 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2572 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2573 | | | | | | | | | | | | | | | | | | | minReads=8
2574 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2575 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2576 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2577 | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2578 | | | | | | | | | | | | | | | | | | | minReads=8
2579 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2580 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2581 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2582 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2583 | | | | | | | | | | | | | | | | | | | minReads=8
2584 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2585 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2586 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2587 | | | | | | | | | | | | | | | | | | | refJoin join
2588 | | | | | | | | | | | | | | | | | | | minReads=8
2589 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2590 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2591 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2592 | | | | | | | | | | | | | | | | | | <onException ExceptionFailure>
2593 | | | | | | | | | | | | | | | | | | | loadInput
2594 | | | | | | | | | | | | | | | | | | | minReads=0
2595 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2596 | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2597 | | | | | | | | | | | | | | | | | | | freeRegs=[]
2598 | | | | | | | | | | | | | | | | | | | fail []
2599 | | | | | | | | | | | | | | | | | | | minReads=0
2600 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2601 | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2602 | | | | | | | | | | | | | | | | | | | freeRegs=[]
2603 | | | | | | | | | | | | | | | | <onException ExceptionFailure>
2604 | | | | | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
2605 | | | | | | | | | | | | | | | | | minReads=8
2606 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2607 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2608 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2609 | | | | | | | | | | | | | | | | | saveInput
2610 | | | | | | | | | | | | | | | | | minReads=8
2611 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2612 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2613 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2614 | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2615 | | | | | | | | | | | | | | | | | minReads=8
2616 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2617 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2618 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2619 | | | | | | | | | | | | | | | | | choicesBranch
2620 | | | | | | | | | | | | | | | | | minReads=8
2621 | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2622 | | | | | | | | | | | | | | | | | alwaysRaise=[]
2623 | | | | | | | | | | | | | | | | | freeRegs=[reg]
2624 | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
2625 | | | | | | | | | | | | | | | | | | | call name
2626 | | | | | | | | | | | | | | | | | | | minReads=8
2627 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2628 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2629 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2630 | | | | | | | | | | | | | | | | | | | refJoin join
2631 | | | | | | | | | | | | | | | | | | | minReads=8
2632 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2633 | | | | | | | | | | | | | | | | | | | alwaysRaise=[]
2634 | | | | | | | | | | | | | | | | | | | freeRegs=[reg]
2635 | | | | | | | | | | | | | | | | | | <default>
2636 | | | | | | | | | | | | | | | | | | | fail []
2637 | | | | | | | | | | | | | | | | | | | minReads=0
2638 | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2639 | | | | | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2640 | | | | | | | | | | | | | | | | | | | freeRegs=[]
2641 | | | | | | | | | | | | | | <onException ExceptionFailure>
2642 | | | | | | | | | | | | | | | loadInput
2643 | | | | | | | | | | | | | | | minReads=0
2644 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2645 | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2646 | | | | | | | | | | | | | | | freeRegs=[]
2647 | | | | | | | | | | | | | | | fail []
2648 | | | | | | | | | | | | | | | minReads=0
2649 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2650 | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2651 | | | | | | | | | | | | | | | freeRegs=[]
2652 | | | | | | | | | | | | <onException ExceptionFailure>
2653 | | | | | | | | | | | | | comment "raiseAgainIfConsumed"
2654 | | | | | | | | | | | | | minReads=4
2655 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2656 | | | | | | | | | | | | | alwaysRaise=[]
2657 | | | | | | | | | | | | | freeRegs=[reg]
2658 | | | | | | | | | | | | | saveInput
2659 | | | | | | | | | | | | | minReads=4
2660 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2661 | | | | | | | | | | | | | alwaysRaise=[]
2662 | | | | | | | | | | | | | freeRegs=[reg]
2663 | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2664 | | | | | | | | | | | | | minReads=4
2665 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2666 | | | | | | | | | | | | | alwaysRaise=[]
2667 | | | | | | | | | | | | | freeRegs=[reg]
2668 | | | | | | | | | | | | | choicesBranch
2669 | | | | | | | | | | | | | minReads=4
2670 | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2671 | | | | | | | | | | | | | alwaysRaise=[]
2672 | | | | | | | | | | | | | freeRegs=[reg]
2673 | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
2674 | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> u_0)
2675 | | | | | | | | | | | | | | | minReads=4
2676 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2677 | | | | | | | | | | | | | | | alwaysRaise=[]
2678 | | | | | | | | | | | | | | | freeRegs=[reg]
2679 | | | | | | | | | | | | | | | call name
2680 | | | | | | | | | | | | | | | minReads=4
2681 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2682 | | | | | | | | | | | | | | | alwaysRaise=[]
2683 | | | | | | | | | | | | | | | freeRegs=[reg]
2684 | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2685 | | | | | | | | | | | | | | | minReads=2
2686 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2687 | | | | | | | | | | | | | | | alwaysRaise=[]
2688 | | | | | | | | | | | | | | | freeRegs=[reg]
2689 | | | | | | | | | | | | | | | call name
2690 | | | | | | | | | | | | | | | minReads=2
2691 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2692 | | | | | | | | | | | | | | | alwaysRaise=[]
2693 | | | | | | | | | | | | | | | freeRegs=[reg]
2694 | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2695 | | | | | | | | | | | | | | | minReads=0
2696 | | | | | | | | | | | | | | | mayRaise=[]
2697 | | | | | | | | | | | | | | | alwaysRaise=[]
2698 | | | | | | | | | | | | | | | freeRegs=[reg]
2699 | | | | | | | | | | | | | | | refJoin join
2700 | | | | | | | | | | | | | | | minReads=0
2701 | | | | | | | | | | | | | | | mayRaise=[]
2702 | | | | | | | | | | | | | | | alwaysRaise=[]
2703 | | | | | | | | | | | | | | | freeRegs=[reg]
2704 | | | | | | | | | | | | | | <default>
2705 | | | | | | | | | | | | | | | fail []
2706 | | | | | | | | | | | | | | | minReads=0
2707 | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure]
2708 | | | | | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2709 | | | | | | | | | | | | | | | freeRegs=[]
2710 | | | | | | | | | | <default>
2711 | | | | | | | | | | | fail []
2712 | | | | | | | | | | | minReads=0
2713 | | | | | | | | | | | mayRaise=[ExceptionFailure]
2714 | | | | | | | | | | | alwaysRaise=[ExceptionFailure]
2715 | | | | | | | | | | | freeRegs=[]
2716 | | | | | | <default>
2717 | | | | | | | fail []
2718 | | | | | | | minReads=0
2719 | | | | | | | mayRaise=[ExceptionFailure]
2720 | | | | | | | alwaysRaise=[ExceptionFailure]
2721 | | | | | | | freeRegs=[]
2723 | | | comment "raiseAgainIfConsumed"
2725 | | | mayRaise=[ExceptionFailure]
2726 | | | alwaysRaise=[]
2727 | | | freeRegs=[reg]
2730 | | | mayRaise=[ExceptionFailure]
2731 | | | alwaysRaise=[]
2732 | | | freeRegs=[reg]
2733 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2735 | | | mayRaise=[ExceptionFailure]
2736 | | | alwaysRaise=[]
2737 | | | freeRegs=[reg]
2740 | | | mayRaise=[ExceptionFailure]
2741 | | | alwaysRaise=[]
2742 | | | freeRegs=[reg]
2743 | | | | <branch (\u_0 -> u_0)>
2744 | | | | | readRegister reg
2745 | | | | | minReads=2
2746 | | | | | mayRaise=[ExceptionFailure]
2747 | | | | | alwaysRaise=[]
2748 | | | | | freeRegs=[reg]
2750 | | | | | minReads=2
2751 | | | | | mayRaise=[ExceptionFailure]
2752 | | | | | alwaysRaise=[]
2753 | | | | | freeRegs=[]
2754 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2755 | | | | | minReads=2
2756 | | | | | mayRaise=[ExceptionFailure]
2757 | | | | | alwaysRaise=[]
2758 | | | | | freeRegs=[]
2759 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2760 | | | | | minReads=2
2761 | | | | | mayRaise=[ExceptionFailure]
2762 | | | | | alwaysRaise=[]
2763 | | | | | freeRegs=[]
2765 | | | | | minReads=2
2766 | | | | | mayRaise=[ExceptionFailure]
2767 | | | | | alwaysRaise=[]
2768 | | | | | freeRegs=[]
2769 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2770 | | | | | minReads=2
2771 | | | | | mayRaise=[ExceptionFailure]
2772 | | | | | alwaysRaise=[]
2773 | | | | | freeRegs=[]
2774 | | | | | comment "satisfy ((GHC.Classes.==) '}')"
2775 | | | | | minReads=2
2776 | | | | | mayRaise=[ExceptionFailure]
2777 | | | | | alwaysRaise=[]
2778 | | | | | freeRegs=[]
2779 | | | | | read ((GHC.Classes.==) '}')
2780 | | | | | minReads=2
2781 | | | | | mayRaise=[ExceptionFailure]
2782 | | | | | alwaysRaise=[]
2783 | | | | | freeRegs=[]
2784 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2785 | | | | | minReads=1
2786 | | | | | mayRaise=[ExceptionFailure]
2787 | | | | | alwaysRaise=[]
2788 | | | | | freeRegs=[]
2790 | | | | | minReads=1
2791 | | | | | mayRaise=[ExceptionFailure]
2792 | | | | | alwaysRaise=[]
2793 | | | | | freeRegs=[]
2794 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2795 | | | | | minReads=0
2796 | | | | | mayRaise=[]
2797 | | | | | alwaysRaise=[]
2798 | | | | | freeRegs=[]
2800 | | | | | minReads=0
2801 | | | | | mayRaise=[]
2802 | | | | | alwaysRaise=[]
2803 | | | | | freeRegs=[]
2806 | | | | | minReads=0
2807 | | | | | mayRaise=[ExceptionFailure]
2808 | | | | | alwaysRaise=[ExceptionFailure]
2809 | | | | | freeRegs=[]
2812 mayRaise=[ExceptionFailure]
2815 | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> GHC.Tuple.())
2817 | mayRaise=[ExceptionFailure]
2820 | comment "satisfy ((GHC.Classes.==) '[')"
2822 | mayRaise=[ExceptionFailure]
2825 | read ((GHC.Classes.==) '[')
2827 | mayRaise=[ExceptionFailure]
2830 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2832 | mayRaise=[ExceptionFailure]
2837 | mayRaise=[ExceptionFailure]
2840 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2842 | mayRaise=[ExceptionFailure]
2847 | mayRaise=[ExceptionFailure]
2850 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2852 | mayRaise=[ExceptionFailure]
2855 | pushValue (\u_0 -> u_0)
2857 | mayRaise=[ExceptionFailure]
2862 | mayRaise=[ExceptionFailure]
2867 | mayRaise=[ExceptionFailure]
2871 | | | pushValue (\u_0 -> \u_1 -> u_1)
2873 | | | mayRaise=[ExceptionFailure]
2874 | | | alwaysRaise=[]
2875 | | | freeRegs=[reg]
2878 | | | mayRaise=[ExceptionFailure]
2879 | | | alwaysRaise=[]
2880 | | | freeRegs=[reg]
2881 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2884 | | | alwaysRaise=[]
2885 | | | freeRegs=[reg]
2886 | | | readRegister reg
2889 | | | alwaysRaise=[]
2890 | | | freeRegs=[reg]
2891 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2894 | | | alwaysRaise=[]
2895 | | | freeRegs=[reg]
2896 | | | writeRegister reg
2899 | | | alwaysRaise=[]
2900 | | | freeRegs=[reg]
2904 | | | alwaysRaise=[]
2907 | | | comment "raiseAgainIfConsumed"
2909 | | | mayRaise=[ExceptionFailure]
2910 | | | alwaysRaise=[]
2911 | | | freeRegs=[reg]
2914 | | | mayRaise=[ExceptionFailure]
2915 | | | alwaysRaise=[]
2916 | | | freeRegs=[reg]
2917 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2919 | | | mayRaise=[ExceptionFailure]
2920 | | | alwaysRaise=[]
2921 | | | freeRegs=[reg]
2924 | | | mayRaise=[ExceptionFailure]
2925 | | | alwaysRaise=[]
2926 | | | freeRegs=[reg]
2927 | | | | <branch (\u_0 -> u_0)>
2928 | | | | | readRegister reg
2929 | | | | | minReads=2
2930 | | | | | mayRaise=[ExceptionFailure]
2931 | | | | | alwaysRaise=[]
2932 | | | | | freeRegs=[reg]
2933 | | | | | pushValue GHC.Tuple.()
2934 | | | | | minReads=2
2935 | | | | | mayRaise=[ExceptionFailure]
2936 | | | | | alwaysRaise=[]
2937 | | | | | freeRegs=[]
2938 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2939 | | | | | minReads=2
2940 | | | | | mayRaise=[ExceptionFailure]
2941 | | | | | alwaysRaise=[]
2942 | | | | | freeRegs=[]
2943 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2944 | | | | | minReads=2
2945 | | | | | mayRaise=[ExceptionFailure]
2946 | | | | | alwaysRaise=[]
2947 | | | | | freeRegs=[]
2948 | | | | | comment "satisfy ((GHC.Classes.==) ']')"
2949 | | | | | minReads=2
2950 | | | | | mayRaise=[ExceptionFailure]
2951 | | | | | alwaysRaise=[]
2952 | | | | | freeRegs=[]
2953 | | | | | read ((GHC.Classes.==) ']')
2954 | | | | | minReads=2
2955 | | | | | mayRaise=[ExceptionFailure]
2956 | | | | | alwaysRaise=[]
2957 | | | | | freeRegs=[]
2958 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2959 | | | | | minReads=1
2960 | | | | | mayRaise=[ExceptionFailure]
2961 | | | | | alwaysRaise=[]
2962 | | | | | freeRegs=[]
2964 | | | | | minReads=1
2965 | | | | | mayRaise=[ExceptionFailure]
2966 | | | | | alwaysRaise=[]
2967 | | | | | freeRegs=[]
2968 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2969 | | | | | minReads=0
2970 | | | | | mayRaise=[]
2971 | | | | | alwaysRaise=[]
2972 | | | | | freeRegs=[]
2974 | | | | | minReads=0
2975 | | | | | mayRaise=[]
2976 | | | | | alwaysRaise=[]
2977 | | | | | freeRegs=[]
2980 | | | | | minReads=0
2981 | | | | | mayRaise=[ExceptionFailure]
2982 | | | | | alwaysRaise=[ExceptionFailure]
2983 | | | | | freeRegs=[]
2984 pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Show.show GHC.Tuple.())
2986 mayRaise=[ExceptionFailure]
2991 mayRaise=[ExceptionFailure]
2994 lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2996 mayRaise=[ExceptionFailure]
2999 pushValue (\u_0 -> u_0)
3001 mayRaise=[ExceptionFailure]
3006 mayRaise=[ExceptionFailure]
3011 mayRaise=[ExceptionFailure]
3015 | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> u_7)
3017 | | mayRaise=[ExceptionFailure]
3020 | | catch ExceptionFailure
3022 | | mayRaise=[ExceptionFailure]
3026 | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
3028 | | | | mayRaise=[ExceptionFailure]
3029 | | | | alwaysRaise=[]
3030 | | | | freeRegs=[reg]
3031 | | | | comment "satisfy ((GHC.Classes.==) 'f')"
3033 | | | | mayRaise=[ExceptionFailure]
3034 | | | | alwaysRaise=[]
3035 | | | | freeRegs=[reg]
3036 | | | | read ((GHC.Classes.==) 'f')
3038 | | | | mayRaise=[ExceptionFailure]
3039 | | | | alwaysRaise=[]
3040 | | | | freeRegs=[reg]
3041 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3043 | | | | mayRaise=[ExceptionFailure]
3044 | | | | alwaysRaise=[]
3045 | | | | freeRegs=[reg]
3046 | | | | comment "satisfy ((GHC.Classes.==) 'u')"
3048 | | | | mayRaise=[ExceptionFailure]
3049 | | | | alwaysRaise=[]
3050 | | | | freeRegs=[reg]
3051 | | | | read ((GHC.Classes.==) 'u')
3053 | | | | mayRaise=[ExceptionFailure]
3054 | | | | alwaysRaise=[]
3055 | | | | freeRegs=[reg]
3056 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3058 | | | | mayRaise=[ExceptionFailure]
3059 | | | | alwaysRaise=[]
3060 | | | | freeRegs=[reg]
3061 | | | | comment "satisfy ((GHC.Classes.==) 'n')"
3063 | | | | mayRaise=[ExceptionFailure]
3064 | | | | alwaysRaise=[]
3065 | | | | freeRegs=[reg]
3066 | | | | read ((GHC.Classes.==) 'n')
3068 | | | | mayRaise=[ExceptionFailure]
3069 | | | | alwaysRaise=[]
3070 | | | | freeRegs=[reg]
3071 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3073 | | | | mayRaise=[ExceptionFailure]
3074 | | | | alwaysRaise=[]
3075 | | | | freeRegs=[reg]
3076 | | | | comment "satisfy ((GHC.Classes.==) 'c')"
3078 | | | | mayRaise=[ExceptionFailure]
3079 | | | | alwaysRaise=[]
3080 | | | | freeRegs=[reg]
3081 | | | | read ((GHC.Classes.==) 'c')
3083 | | | | mayRaise=[ExceptionFailure]
3084 | | | | alwaysRaise=[]
3085 | | | | freeRegs=[reg]
3086 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3088 | | | | mayRaise=[ExceptionFailure]
3089 | | | | alwaysRaise=[]
3090 | | | | freeRegs=[reg]
3091 | | | | comment "satisfy ((GHC.Classes.==) 't')"
3093 | | | | mayRaise=[ExceptionFailure]
3094 | | | | alwaysRaise=[]
3095 | | | | freeRegs=[reg]
3096 | | | | read ((GHC.Classes.==) 't')
3098 | | | | mayRaise=[ExceptionFailure]
3099 | | | | alwaysRaise=[]
3100 | | | | freeRegs=[reg]
3101 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3103 | | | | mayRaise=[ExceptionFailure]
3104 | | | | alwaysRaise=[]
3105 | | | | freeRegs=[reg]
3106 | | | | comment "satisfy ((GHC.Classes.==) 'i')"
3108 | | | | mayRaise=[ExceptionFailure]
3109 | | | | alwaysRaise=[]
3110 | | | | freeRegs=[reg]
3111 | | | | read ((GHC.Classes.==) 'i')
3113 | | | | mayRaise=[ExceptionFailure]
3114 | | | | alwaysRaise=[]
3115 | | | | freeRegs=[reg]
3116 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3118 | | | | mayRaise=[ExceptionFailure]
3119 | | | | alwaysRaise=[]
3120 | | | | freeRegs=[reg]
3121 | | | | comment "satisfy ((GHC.Classes.==) 'o')"
3123 | | | | mayRaise=[ExceptionFailure]
3124 | | | | alwaysRaise=[]
3125 | | | | freeRegs=[reg]
3126 | | | | read ((GHC.Classes.==) 'o')
3128 | | | | mayRaise=[ExceptionFailure]
3129 | | | | alwaysRaise=[]
3130 | | | | freeRegs=[reg]
3131 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3133 | | | | mayRaise=[ExceptionFailure]
3134 | | | | alwaysRaise=[]
3135 | | | | freeRegs=[reg]
3136 | | | | comment "satisfy ((GHC.Classes.==) 'n')"
3138 | | | | mayRaise=[ExceptionFailure]
3139 | | | | alwaysRaise=[]
3140 | | | | freeRegs=[reg]
3141 | | | | read ((GHC.Classes.==) 'n')
3143 | | | | mayRaise=[ExceptionFailure]
3144 | | | | alwaysRaise=[]
3145 | | | | freeRegs=[reg]
3146 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3148 | | | | mayRaise=[ExceptionFailure]
3149 | | | | alwaysRaise=[]
3150 | | | | freeRegs=[reg]
3151 | | | | commit ExceptionFailure
3153 | | | | mayRaise=[ExceptionFailure]
3154 | | | | alwaysRaise=[]
3155 | | | | freeRegs=[reg]
3156 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3158 | | | | mayRaise=[ExceptionFailure]
3159 | | | | alwaysRaise=[]
3160 | | | | freeRegs=[reg]
3163 | | | | mayRaise=[ExceptionFailure]
3164 | | | | alwaysRaise=[]
3165 | | | | freeRegs=[reg]
3166 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3168 | | | | mayRaise=[ExceptionFailure]
3169 | | | | alwaysRaise=[]
3170 | | | | freeRegs=[reg]
3173 | | | | mayRaise=[ExceptionFailure]
3174 | | | | alwaysRaise=[]
3175 | | | | freeRegs=[reg]
3176 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3178 | | | | mayRaise=[ExceptionFailure]
3179 | | | | alwaysRaise=[]
3180 | | | | freeRegs=[reg]
3183 | | | | mayRaise=[ExceptionFailure]
3184 | | | | alwaysRaise=[]
3185 | | | | freeRegs=[reg]
3186 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3188 | | | | mayRaise=[ExceptionFailure]
3189 | | | | alwaysRaise=[]
3190 | | | | freeRegs=[reg]
3193 | | | | mayRaise=[ExceptionFailure]
3194 | | | | alwaysRaise=[]
3195 | | | | freeRegs=[reg]
3196 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3197 | | | | | minReads=6
3198 | | | | | mayRaise=[ExceptionFailure]
3199 | | | | | alwaysRaise=[]
3200 | | | | | freeRegs=[reg]
3202 | | | | | minReads=6
3203 | | | | | mayRaise=[ExceptionFailure]
3204 | | | | | alwaysRaise=[]
3205 | | | | | freeRegs=[reg]
3206 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3207 | | | | | minReads=4
3208 | | | | | mayRaise=[ExceptionFailure]
3209 | | | | | alwaysRaise=[]
3210 | | | | | freeRegs=[reg]
3212 | | | | | minReads=4
3213 | | | | | mayRaise=[ExceptionFailure]
3214 | | | | | alwaysRaise=[]
3215 | | | | | freeRegs=[reg]
3216 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3217 | | | | | minReads=0
3218 | | | | | mayRaise=[]
3219 | | | | | alwaysRaise=[]
3220 | | | | | freeRegs=[reg]
3221 | | | | | readRegister reg
3222 | | | | | minReads=0
3223 | | | | | mayRaise=[]
3224 | | | | | alwaysRaise=[]
3225 | | | | | freeRegs=[reg]
3226 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3227 | | | | | minReads=0
3228 | | | | | mayRaise=[]
3229 | | | | | alwaysRaise=[]
3230 | | | | | freeRegs=[reg]
3231 | | | | | writeRegister reg
3232 | | | | | minReads=0
3233 | | | | | mayRaise=[]
3234 | | | | | alwaysRaise=[]
3235 | | | | | freeRegs=[reg]
3237 | | | | | minReads=0
3238 | | | | | mayRaise=[]
3239 | | | | | alwaysRaise=[]
3240 | | | | | freeRegs=[]
3241 | | | | catch ExceptionFailure
3243 | | | | mayRaise=[ExceptionFailure]
3244 | | | | alwaysRaise=[]
3245 | | | | freeRegs=[reg]
3246 | | | | | <catchScope>
3247 | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
3248 | | | | | | minReads=8
3249 | | | | | | mayRaise=[ExceptionFailure]
3250 | | | | | | alwaysRaise=[]
3251 | | | | | | freeRegs=[reg]
3252 | | | | | | comment "satisfy ((GHC.Classes.==) ':')"
3253 | | | | | | minReads=8
3254 | | | | | | mayRaise=[ExceptionFailure]
3255 | | | | | | alwaysRaise=[]
3256 | | | | | | freeRegs=[reg]
3257 | | | | | | read ((GHC.Classes.==) ':')
3258 | | | | | | minReads=8
3259 | | | | | | mayRaise=[ExceptionFailure]
3260 | | | | | | alwaysRaise=[]
3261 | | | | | | freeRegs=[reg]
3262 | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3263 | | | | | | minReads=7
3264 | | | | | | mayRaise=[ExceptionFailure]
3265 | | | | | | alwaysRaise=[]
3266 | | | | | | freeRegs=[reg]
3267 | | | | | | call name
3268 | | | | | | minReads=7
3269 | | | | | | mayRaise=[ExceptionFailure]
3270 | | | | | | alwaysRaise=[]
3271 | | | | | | freeRegs=[reg]
3272 | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3273 | | | | | | minReads=6
3274 | | | | | | mayRaise=[ExceptionFailure]
3275 | | | | | | alwaysRaise=[]
3276 | | | | | | freeRegs=[reg]
3277 | | | | | | call name
3278 | | | | | | minReads=6
3279 | | | | | | mayRaise=[ExceptionFailure]
3280 | | | | | | alwaysRaise=[]
3281 | | | | | | freeRegs=[reg]
3282 | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3283 | | | | | | minReads=6
3284 | | | | | | mayRaise=[ExceptionFailure]
3285 | | | | | | alwaysRaise=[]
3286 | | | | | | freeRegs=[reg]
3287 | | | | | | commit ExceptionFailure
3288 | | | | | | minReads=6
3289 | | | | | | mayRaise=[ExceptionFailure]
3290 | | | | | | alwaysRaise=[]
3291 | | | | | | freeRegs=[reg]
3292 | | | | | | refJoin join
3293 | | | | | | minReads=6
3294 | | | | | | mayRaise=[ExceptionFailure]
3295 | | | | | | alwaysRaise=[]
3296 | | | | | | freeRegs=[reg]
3297 | | | | | <onException ExceptionFailure>
3298 | | | | | | comment "raiseAgainIfConsumed"
3299 | | | | | | minReads=6
3300 | | | | | | mayRaise=[ExceptionFailure]
3301 | | | | | | alwaysRaise=[]
3302 | | | | | | freeRegs=[reg]
3303 | | | | | | saveInput
3304 | | | | | | minReads=6
3305 | | | | | | mayRaise=[ExceptionFailure]
3306 | | | | | | alwaysRaise=[]
3307 | | | | | | freeRegs=[reg]
3308 | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
3309 | | | | | | minReads=6
3310 | | | | | | mayRaise=[ExceptionFailure]
3311 | | | | | | alwaysRaise=[]
3312 | | | | | | freeRegs=[reg]
3313 | | | | | | choicesBranch
3314 | | | | | | minReads=6
3315 | | | | | | mayRaise=[ExceptionFailure]
3316 | | | | | | alwaysRaise=[]
3317 | | | | | | freeRegs=[reg]
3318 | | | | | | | <branch (\u_0 -> u_0)>
3319 | | | | | | | | call name
3320 | | | | | | | | minReads=6
3321 | | | | | | | | mayRaise=[ExceptionFailure]
3322 | | | | | | | | alwaysRaise=[]
3323 | | | | | | | | freeRegs=[reg]
3324 | | | | | | | | refJoin join
3325 | | | | | | | | minReads=6
3326 | | | | | | | | mayRaise=[ExceptionFailure]
3327 | | | | | | | | alwaysRaise=[]
3328 | | | | | | | | freeRegs=[reg]
3329 | | | | | | | <default>
3330 | | | | | | | | fail []
3331 | | | | | | | | minReads=0
3332 | | | | | | | | mayRaise=[ExceptionFailure]
3333 | | | | | | | | alwaysRaise=[ExceptionFailure]
3334 | | | | | | | | freeRegs=[]
3335 | | | <onException ExceptionFailure>
3338 | | | | mayRaise=[ExceptionFailure]
3339 | | | | alwaysRaise=[ExceptionFailure]
3343 | | | | mayRaise=[ExceptionFailure]
3344 | | | | alwaysRaise=[ExceptionFailure]
3347 | | comment "raiseAgainIfConsumed"
3349 | | mayRaise=[ExceptionFailure]
3354 | | mayRaise=[ExceptionFailure]
3357 | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
3359 | | mayRaise=[ExceptionFailure]
3364 | | mayRaise=[ExceptionFailure]
3367 | | | <branch (\u_0 -> u_0)>
3368 | | | | readRegister reg
3370 | | | | mayRaise=[ExceptionFailure]
3371 | | | | alwaysRaise=[]
3372 | | | | freeRegs=[reg]
3375 | | | | mayRaise=[ExceptionFailure]
3376 | | | | alwaysRaise=[]
3378 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3380 | | | | mayRaise=[ExceptionFailure]
3381 | | | | alwaysRaise=[]
3383 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3385 | | | | mayRaise=[ExceptionFailure]
3386 | | | | alwaysRaise=[]
3391 | | | | alwaysRaise=[]
3393 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3394 | | | | | minReads=0
3395 | | | | | mayRaise=[]
3396 | | | | | alwaysRaise=[]
3397 | | | | | freeRegs=[]
3399 | | | | | minReads=0
3400 | | | | | mayRaise=[]
3401 | | | | | alwaysRaise=[]
3402 | | | | | freeRegs=[]
3403 | | | | catch ExceptionFailure
3405 | | | | mayRaise=[ExceptionFailure]
3406 | | | | alwaysRaise=[]
3408 | | | | | <catchScope>
3409 | | | | | | comment "negLook"
3410 | | | | | | minReads=0
3411 | | | | | | mayRaise=[]
3412 | | | | | | alwaysRaise=[]
3413 | | | | | | freeRegs=[]
3414 | | | | | | catch ExceptionFailure
3415 | | | | | | minReads=0
3416 | | | | | | mayRaise=[]
3417 | | | | | | alwaysRaise=[]
3418 | | | | | | freeRegs=[]
3419 | | | | | | | <catchScope>
3420 | | | | | | | | comment "negLook.ahead"
3421 | | | | | | | | minReads=1
3422 | | | | | | | | mayRaise=[ExceptionFailure]
3423 | | | | | | | | alwaysRaise=[ExceptionFailure]
3424 | | | | | | | | freeRegs=[]
3425 | | | | | | | | saveInput
3426 | | | | | | | | minReads=1
3427 | | | | | | | | mayRaise=[ExceptionFailure]
3428 | | | | | | | | alwaysRaise=[ExceptionFailure]
3429 | | | | | | | | freeRegs=[]
3430 | | | | | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
3431 | | | | | | | | minReads=1
3432 | | | | | | | | mayRaise=[ExceptionFailure]
3433 | | | | | | | | alwaysRaise=[ExceptionFailure]
3434 | | | | | | | | freeRegs=[]
3435 | | | | | | | | read (\u_0 -> GHC.Types.True)
3436 | | | | | | | | minReads=1
3437 | | | | | | | | mayRaise=[ExceptionFailure]
3438 | | | | | | | | alwaysRaise=[ExceptionFailure]
3439 | | | | | | | | freeRegs=[]
3440 | | | | | | | | popValue
3441 | | | | | | | | minReads=0
3442 | | | | | | | | mayRaise=[ExceptionFailure]
3443 | | | | | | | | alwaysRaise=[ExceptionFailure]
3444 | | | | | | | | freeRegs=[]
3445 | | | | | | | | commit ExceptionFailure
3446 | | | | | | | | minReads=0
3447 | | | | | | | | mayRaise=[ExceptionFailure]
3448 | | | | | | | | alwaysRaise=[ExceptionFailure]
3449 | | | | | | | | freeRegs=[]
3450 | | | | | | | | loadInput
3451 | | | | | | | | minReads=0
3452 | | | | | | | | mayRaise=[ExceptionFailure]
3453 | | | | | | | | alwaysRaise=[ExceptionFailure]
3454 | | | | | | | | freeRegs=[]
3455 | | | | | | | | fail []
3456 | | | | | | | | minReads=0
3457 | | | | | | | | mayRaise=[ExceptionFailure]
3458 | | | | | | | | alwaysRaise=[ExceptionFailure]
3459 | | | | | | | | freeRegs=[]
3460 | | | | | | | <onException ExceptionFailure>
3461 | | | | | | | | comment "negLook.reset"
3462 | | | | | | | | minReads=0
3463 | | | | | | | | mayRaise=[]
3464 | | | | | | | | alwaysRaise=[]
3465 | | | | | | | | freeRegs=[]
3466 | | | | | | | | loadInput
3467 | | | | | | | | minReads=0
3468 | | | | | | | | mayRaise=[]
3469 | | | | | | | | alwaysRaise=[]
3470 | | | | | | | | freeRegs=[]
3471 | | | | | | | | pushValue GHC.Tuple.()
3472 | | | | | | | | minReads=0
3473 | | | | | | | | mayRaise=[]
3474 | | | | | | | | alwaysRaise=[]
3475 | | | | | | | | freeRegs=[]
3476 | | | | | | | | commit ExceptionFailure
3477 | | | | | | | | minReads=0
3478 | | | | | | | | mayRaise=[]
3479 | | | | | | | | alwaysRaise=[]
3480 | | | | | | | | freeRegs=[]
3481 | | | | | | | | refJoin join
3482 | | | | | | | | minReads=0
3483 | | | | | | | | mayRaise=[]
3484 | | | | | | | | alwaysRaise=[]
3485 | | | | | | | | freeRegs=[]
3486 | | | | | <onException ExceptionFailure>
3487 | | | | | | comment "raiseAgainIfConsumed"
3488 | | | | | | minReads=0
3489 | | | | | | mayRaise=[ExceptionFailure]
3490 | | | | | | alwaysRaise=[]
3491 | | | | | | freeRegs=[]
3492 | | | | | | saveInput
3493 | | | | | | minReads=0
3494 | | | | | | mayRaise=[ExceptionFailure]
3495 | | | | | | alwaysRaise=[]
3496 | | | | | | freeRegs=[]
3497 | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
3498 | | | | | | minReads=0
3499 | | | | | | mayRaise=[ExceptionFailure]
3500 | | | | | | alwaysRaise=[]
3501 | | | | | | freeRegs=[]
3502 | | | | | | choicesBranch
3503 | | | | | | minReads=0
3504 | | | | | | mayRaise=[ExceptionFailure]
3505 | | | | | | alwaysRaise=[]
3506 | | | | | | freeRegs=[]
3507 | | | | | | | <branch (\u_0 -> u_0)>
3508 | | | | | | | | comment "eof.fail"
3509 | | | | | | | | minReads=0
3510 | | | | | | | | mayRaise=[ExceptionFailure]
3511 | | | | | | | | alwaysRaise=[ExceptionFailure]
3512 | | | | | | | | freeRegs=[]
3513 | | | | | | | | fail [FailureEnd]
3514 | | | | | | | | minReads=0
3515 | | | | | | | | mayRaise=[ExceptionFailure]
3516 | | | | | | | | alwaysRaise=[ExceptionFailure]
3517 | | | | | | | | freeRegs=[]
3518 | | | | | | | <default>
3519 | | | | | | | | fail []
3520 | | | | | | | | minReads=0
3521 | | | | | | | | mayRaise=[ExceptionFailure]
3522 | | | | | | | | alwaysRaise=[ExceptionFailure]
3523 | | | | | | | | freeRegs=[]
3527 | | | | mayRaise=[ExceptionFailure]
3528 | | | | alwaysRaise=[ExceptionFailure]