]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Machine/G14.expected.txt
wip
[haskell/symantic-parser.git] / tests / Golden / Machine / G14.expected.txt
1 let name
2 minReads=0
3 mayRaise=[ExceptionFailure]
4 alwaysRaise=[]
5 freeRegs=[]
6 | catch ExceptionFailure
7 | minReads=0
8 | mayRaise=[ExceptionFailure]
9 | alwaysRaise=[]
10 | freeRegs=[]
11 | | <catchScope>
12 | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
13 | | | minReads=2
14 | | | mayRaise=[ExceptionFailure]
15 | | | alwaysRaise=[]
16 | | | freeRegs=[]
17 | | | call name
18 | | | minReads=2
19 | | | mayRaise=[ExceptionFailure]
20 | | | alwaysRaise=[]
21 | | | freeRegs=[]
22 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
23 | | | minReads=0
24 | | | mayRaise=[ExceptionFailure]
25 | | | alwaysRaise=[]
26 | | | freeRegs=[]
27 | | | pushValue (\u_0 -> u_0)
28 | | | minReads=0
29 | | | mayRaise=[ExceptionFailure]
30 | | | alwaysRaise=[]
31 | | | freeRegs=[]
32 | | | newRegister reg
33 | | | minReads=0
34 | | | mayRaise=[ExceptionFailure]
35 | | | alwaysRaise=[]
36 | | | freeRegs=[]
37 | | | iter loop
38 | | | minReads=0
39 | | | mayRaise=[ExceptionFailure]
40 | | | alwaysRaise=[]
41 | | | freeRegs=[reg]
42 | | | | <ok>
43 | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
44 | | | | | minReads=4
45 | | | | | mayRaise=[ExceptionFailure]
46 | | | | | alwaysRaise=[]
47 | | | | | freeRegs=[reg]
48 | | | | | call name
49 | | | | | minReads=4
50 | | | | | mayRaise=[ExceptionFailure]
51 | | | | | alwaysRaise=[]
52 | | | | | freeRegs=[reg]
53 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
54 | | | | | minReads=4
55 | | | | | mayRaise=[ExceptionFailure]
56 | | | | | alwaysRaise=[]
57 | | | | | freeRegs=[reg]
58 | | | | | call name
59 | | | | | minReads=4
60 | | | | | mayRaise=[ExceptionFailure]
61 | | | | | alwaysRaise=[]
62 | | | | | freeRegs=[reg]
63 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
64 | | | | | minReads=2
65 | | | | | mayRaise=[ExceptionFailure]
66 | | | | | alwaysRaise=[]
67 | | | | | freeRegs=[reg]
68 | | | | | call name
69 | | | | | minReads=2
70 | | | | | mayRaise=[ExceptionFailure]
71 | | | | | alwaysRaise=[]
72 | | | | | freeRegs=[reg]
73 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
74 | | | | | minReads=0
75 | | | | | mayRaise=[]
76 | | | | | alwaysRaise=[]
77 | | | | | freeRegs=[reg]
78 | | | | | readRegister reg
79 | | | | | minReads=0
80 | | | | | mayRaise=[]
81 | | | | | alwaysRaise=[]
82 | | | | | freeRegs=[reg]
83 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
84 | | | | | minReads=0
85 | | | | | mayRaise=[]
86 | | | | | alwaysRaise=[]
87 | | | | | freeRegs=[reg]
88 | | | | | writeRegister reg
89 | | | | | minReads=0
90 | | | | | mayRaise=[]
91 | | | | | alwaysRaise=[]
92 | | | | | freeRegs=[reg]
93 | | | | | jump loop
94 | | | | | minReads=0
95 | | | | | mayRaise=[]
96 | | | | | alwaysRaise=[]
97 | | | | | freeRegs=[]
98 | | | | <ko>
99 | | | | | comment "raiseAgainIfConsumed"
100 | | | | | minReads=0
101 | | | | | mayRaise=[ExceptionFailure]
102 | | | | | alwaysRaise=[]
103 | | | | | freeRegs=[reg]
104 | | | | | saveInput
105 | | | | | minReads=0
106 | | | | | mayRaise=[ExceptionFailure]
107 | | | | | alwaysRaise=[]
108 | | | | | freeRegs=[reg]
109 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
110 | | | | | minReads=0
111 | | | | | mayRaise=[ExceptionFailure]
112 | | | | | alwaysRaise=[]
113 | | | | | freeRegs=[reg]
114 | | | | | choicesBranch
115 | | | | | minReads=0
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=[]
155 | | | | | | | ret
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"
168 | | | minReads=0
169 | | | mayRaise=[ExceptionFailure]
170 | | | alwaysRaise=[]
171 | | | freeRegs=[]
172 | | | saveInput
173 | | | minReads=0
174 | | | mayRaise=[ExceptionFailure]
175 | | | alwaysRaise=[]
176 | | | freeRegs=[]
177 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
178 | | | minReads=0
179 | | | mayRaise=[ExceptionFailure]
180 | | | alwaysRaise=[]
181 | | | freeRegs=[]
182 | | | choicesBranch
183 | | | minReads=0
184 | | | mayRaise=[ExceptionFailure]
185 | | | alwaysRaise=[]
186 | | | freeRegs=[]
187 | | | | <branch (\u_0 -> u_0)>
188 | | | | | jump name
189 | | | | | minReads=0
190 | | | | | mayRaise=[]
191 | | | | | alwaysRaise=[]
192 | | | | | freeRegs=[]
193 | | | | <default>
194 | | | | | fail []
195 | | | | | minReads=0
196 | | | | | mayRaise=[ExceptionFailure]
197 | | | | | alwaysRaise=[ExceptionFailure]
198 | | | | | freeRegs=[]
199 let name
200 minReads=0
201 mayRaise=[]
202 alwaysRaise=[]
203 freeRegs=[]
204 | pushValue (\u_0 -> \u_1 -> u_1)
205 | minReads=0
206 | mayRaise=[]
207 | alwaysRaise=[]
208 | freeRegs=[]
209 | ret
210 | minReads=0
211 | mayRaise=[]
212 | alwaysRaise=[]
213 | freeRegs=[]
214 let name
215 minReads=0
216 mayRaise=[]
217 alwaysRaise=[]
218 freeRegs=[]
219 | pushValue GHC.Tuple.()
220 | minReads=0
221 | mayRaise=[]
222 | alwaysRaise=[]
223 | freeRegs=[]
224 | ret
225 | minReads=0
226 | mayRaise=[]
227 | alwaysRaise=[]
228 | freeRegs=[]
229 let name
230 minReads=0
231 mayRaise=[]
232 alwaysRaise=[]
233 freeRegs=[]
234 | pushValue GHC.Tuple.()
235 | minReads=0
236 | mayRaise=[]
237 | alwaysRaise=[]
238 | freeRegs=[]
239 | ret
240 | minReads=0
241 | mayRaise=[]
242 | alwaysRaise=[]
243 | freeRegs=[]
244 let name
245 minReads=1
246 mayRaise=[ExceptionFailure]
247 alwaysRaise=[]
248 freeRegs=[]
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))))))))))"
250 | minReads=1
251 | mayRaise=[ExceptionFailure]
252 | alwaysRaise=[]
253 | freeRegs=[]
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))))))))))
255 | minReads=1
256 | mayRaise=[ExceptionFailure]
257 | alwaysRaise=[]
258 | freeRegs=[]
259 | ret
260 | minReads=0
261 | mayRaise=[]
262 | alwaysRaise=[]
263 | freeRegs=[]
264 let name
265 minReads=1
266 mayRaise=[ExceptionFailure]
267 alwaysRaise=[]
268 freeRegs=[]
269 | pushValue (\u_0 -> GHC.Tuple.())
270 | minReads=1
271 | mayRaise=[ExceptionFailure]
272 | alwaysRaise=[]
273 | freeRegs=[]
274 | comment "satisfy GHC.Unicode.isSpace"
275 | minReads=1
276 | mayRaise=[ExceptionFailure]
277 | alwaysRaise=[]
278 | freeRegs=[]
279 | read GHC.Unicode.isSpace
280 | minReads=1
281 | mayRaise=[ExceptionFailure]
282 | alwaysRaise=[]
283 | freeRegs=[]
284 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
285 | minReads=0
286 | mayRaise=[]
287 | alwaysRaise=[]
288 | freeRegs=[]
289 | ret
290 | minReads=0
291 | mayRaise=[]
292 | alwaysRaise=[]
293 | freeRegs=[]
294 let name
295 minReads=1
296 mayRaise=[ExceptionFailure]
297 alwaysRaise=[]
298 freeRegs=[]
299 | pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
300 | minReads=1
301 | mayRaise=[ExceptionFailure]
302 | alwaysRaise=[]
303 | freeRegs=[]
304 | call name
305 | minReads=1
306 | mayRaise=[ExceptionFailure]
307 | alwaysRaise=[]
308 | freeRegs=[]
309 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
310 | minReads=0
311 | mayRaise=[ExceptionFailure]
312 | alwaysRaise=[]
313 | freeRegs=[]
314 | pushValue (\u_0 -> u_0)
315 | minReads=0
316 | mayRaise=[ExceptionFailure]
317 | alwaysRaise=[]
318 | freeRegs=[]
319 | newRegister reg
320 | minReads=0
321 | mayRaise=[ExceptionFailure]
322 | alwaysRaise=[]
323 | freeRegs=[]
324 | iter loop
325 | minReads=0
326 | mayRaise=[ExceptionFailure]
327 | alwaysRaise=[]
328 | freeRegs=[reg]
329 | | <ok>
330 | | | pushValue (\u_0 -> \u_1 -> u_1)
331 | | | minReads=1
332 | | | mayRaise=[ExceptionFailure]
333 | | | alwaysRaise=[]
334 | | | freeRegs=[reg]
335 | | | call name
336 | | | minReads=1
337 | | | mayRaise=[ExceptionFailure]
338 | | | alwaysRaise=[]
339 | | | freeRegs=[reg]
340 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
341 | | | minReads=0
342 | | | mayRaise=[]
343 | | | alwaysRaise=[]
344 | | | freeRegs=[reg]
345 | | | readRegister reg
346 | | | minReads=0
347 | | | mayRaise=[]
348 | | | alwaysRaise=[]
349 | | | freeRegs=[reg]
350 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
351 | | | minReads=0
352 | | | mayRaise=[]
353 | | | alwaysRaise=[]
354 | | | freeRegs=[reg]
355 | | | writeRegister reg
356 | | | minReads=0
357 | | | mayRaise=[]
358 | | | alwaysRaise=[]
359 | | | freeRegs=[reg]
360 | | | jump loop
361 | | | minReads=0
362 | | | mayRaise=[]
363 | | | alwaysRaise=[]
364 | | | freeRegs=[]
365 | | <ko>
366 | | | comment "raiseAgainIfConsumed"
367 | | | minReads=0
368 | | | mayRaise=[ExceptionFailure]
369 | | | alwaysRaise=[]
370 | | | freeRegs=[reg]
371 | | | saveInput
372 | | | minReads=0
373 | | | mayRaise=[ExceptionFailure]
374 | | | alwaysRaise=[]
375 | | | freeRegs=[reg]
376 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
377 | | | minReads=0
378 | | | mayRaise=[ExceptionFailure]
379 | | | alwaysRaise=[]
380 | | | freeRegs=[reg]
381 | | | choicesBranch
382 | | | minReads=0
383 | | | mayRaise=[ExceptionFailure]
384 | | | alwaysRaise=[]
385 | | | freeRegs=[reg]
386 | | | | <branch (\u_0 -> u_0)>
387 | | | | | readRegister reg
388 | | | | | minReads=0
389 | | | | | mayRaise=[]
390 | | | | | alwaysRaise=[]
391 | | | | | freeRegs=[reg]
392 | | | | | pushValue GHC.Tuple.()
393 | | | | | minReads=0
394 | | | | | mayRaise=[]
395 | | | | | alwaysRaise=[]
396 | | | | | freeRegs=[]
397 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
398 | | | | | minReads=0
399 | | | | | mayRaise=[]
400 | | | | | alwaysRaise=[]
401 | | | | | freeRegs=[]
402 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
403 | | | | | minReads=0
404 | | | | | mayRaise=[]
405 | | | | | alwaysRaise=[]
406 | | | | | freeRegs=[]
407 | | | | | ret
408 | | | | | minReads=0
409 | | | | | mayRaise=[]
410 | | | | | alwaysRaise=[]
411 | | | | | freeRegs=[]
412 | | | | <default>
413 | | | | | fail []
414 | | | | | minReads=0
415 | | | | | mayRaise=[ExceptionFailure]
416 | | | | | alwaysRaise=[ExceptionFailure]
417 | | | | | freeRegs=[]
418 let name
419 minReads=2
420 mayRaise=[ExceptionFailure]
421 alwaysRaise=[]
422 freeRegs=[]
423 | catch ExceptionFailure
424 | minReads=2
425 | mayRaise=[ExceptionFailure]
426 | alwaysRaise=[]
427 | freeRegs=[]
428 | | <catchScope>
429 | | | pushValue (\u_0 -> \u_1 -> u_1)
430 | | | minReads=2
431 | | | mayRaise=[ExceptionFailure]
432 | | | alwaysRaise=[]
433 | | | freeRegs=[]
434 | | | join join
435 | | | minReads=1
436 | | | mayRaise=[ExceptionFailure]
437 | | | alwaysRaise=[]
438 | | | freeRegs=[]
439 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
440 | | | | minReads=1
441 | | | | mayRaise=[ExceptionFailure]
442 | | | | alwaysRaise=[]
443 | | | | freeRegs=[]
444 | | | | call name
445 | | | | minReads=1
446 | | | | mayRaise=[ExceptionFailure]
447 | | | | alwaysRaise=[]
448 | | | | freeRegs=[]
449 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
450 | | | | minReads=0
451 | | | | mayRaise=[]
452 | | | | alwaysRaise=[]
453 | | | | freeRegs=[]
454 | | | | commit ExceptionFailure
455 | | | | minReads=0
456 | | | | mayRaise=[]
457 | | | | alwaysRaise=[]
458 | | | | freeRegs=[]
459 | | | | ret
460 | | | | minReads=0
461 | | | | mayRaise=[]
462 | | | | alwaysRaise=[]
463 | | | | freeRegs=[]
464 | | | catch ExceptionFailure
465 | | | minReads=2
466 | | | mayRaise=[ExceptionFailure]
467 | | | alwaysRaise=[]
468 | | | freeRegs=[]
469 | | | | <catchScope>
470 | | | | | pushValue (\u_0 -> '0')
471 | | | | | minReads=2
472 | | | | | mayRaise=[ExceptionFailure]
473 | | | | | alwaysRaise=[]
474 | | | | | freeRegs=[]
475 | | | | | comment "satisfy ((GHC.Classes.==) '0')"
476 | | | | | minReads=2
477 | | | | | mayRaise=[ExceptionFailure]
478 | | | | | alwaysRaise=[]
479 | | | | | freeRegs=[]
480 | | | | | read ((GHC.Classes.==) '0')
481 | | | | | minReads=2
482 | | | | | mayRaise=[ExceptionFailure]
483 | | | | | alwaysRaise=[]
484 | | | | | freeRegs=[]
485 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
486 | | | | | minReads=1
487 | | | | | mayRaise=[ExceptionFailure]
488 | | | | | alwaysRaise=[]
489 | | | | | freeRegs=[]
490 | | | | | commit ExceptionFailure
491 | | | | | minReads=1
492 | | | | | mayRaise=[ExceptionFailure]
493 | | | | | alwaysRaise=[]
494 | | | | | freeRegs=[]
495 | | | | | refJoin join
496 | | | | | minReads=1
497 | | | | | mayRaise=[ExceptionFailure]
498 | | | | | alwaysRaise=[]
499 | | | | | freeRegs=[]
500 | | | | <onException ExceptionFailure>
501 | | | | | comment "raiseAgainIfConsumed"
502 | | | | | minReads=2
503 | | | | | mayRaise=[ExceptionFailure]
504 | | | | | alwaysRaise=[]
505 | | | | | freeRegs=[]
506 | | | | | saveInput
507 | | | | | minReads=2
508 | | | | | mayRaise=[ExceptionFailure]
509 | | | | | alwaysRaise=[]
510 | | | | | freeRegs=[]
511 | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
512 | | | | | minReads=2
513 | | | | | mayRaise=[ExceptionFailure]
514 | | | | | alwaysRaise=[]
515 | | | | | freeRegs=[]
516 | | | | | choicesBranch
517 | | | | | minReads=2
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"
555 | | | minReads=2
556 | | | mayRaise=[ExceptionFailure]
557 | | | alwaysRaise=[]
558 | | | freeRegs=[]
559 | | | saveInput
560 | | | minReads=2
561 | | | mayRaise=[ExceptionFailure]
562 | | | alwaysRaise=[]
563 | | | freeRegs=[]
564 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
565 | | | minReads=2
566 | | | mayRaise=[ExceptionFailure]
567 | | | alwaysRaise=[]
568 | | | freeRegs=[]
569 | | | choicesBranch
570 | | | minReads=2
571 | | | mayRaise=[ExceptionFailure]
572 | | | alwaysRaise=[]
573 | | | freeRegs=[]
574 | | | | <branch (\u_0 -> u_0)>
575 | | | | | catch ExceptionFailure
576 | | | | | minReads=2
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=[]
641 | | | | | | | | ret
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=[]
1184 | | | | <default>
1185 | | | | | fail []
1186 | | | | | minReads=0
1187 | | | | | mayRaise=[ExceptionFailure]
1188 | | | | | alwaysRaise=[ExceptionFailure]
1189 | | | | | freeRegs=[]
1190 let name
1191 minReads=2
1192 mayRaise=[ExceptionFailure]
1193 alwaysRaise=[]
1194 freeRegs=[]
1195 | pushValue (\u_0 -> \u_1 -> '(')
1196 | minReads=2
1197 | mayRaise=[ExceptionFailure]
1198 | alwaysRaise=[]
1199 | freeRegs=[]
1200 | comment "satisfy ((GHC.Classes.==) '(')"
1201 | minReads=2
1202 | mayRaise=[ExceptionFailure]
1203 | alwaysRaise=[]
1204 | freeRegs=[]
1205 | read ((GHC.Classes.==) '(')
1206 | minReads=2
1207 | mayRaise=[ExceptionFailure]
1208 | alwaysRaise=[]
1209 | freeRegs=[]
1210 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1211 | minReads=1
1212 | mayRaise=[ExceptionFailure]
1213 | alwaysRaise=[]
1214 | freeRegs=[]
1215 | call name
1216 | minReads=1
1217 | mayRaise=[ExceptionFailure]
1218 | alwaysRaise=[]
1219 | freeRegs=[]
1220 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1221 | minReads=0
1222 | mayRaise=[]
1223 | alwaysRaise=[]
1224 | freeRegs=[]
1225 | ret
1226 | minReads=0
1227 | mayRaise=[]
1228 | alwaysRaise=[]
1229 | freeRegs=[]
1230 let name
1231 minReads=2
1232 mayRaise=[ExceptionFailure]
1233 alwaysRaise=[]
1234 freeRegs=[]
1235 | pushValue (\u_0 -> \u_1 -> ')')
1236 | minReads=2
1237 | mayRaise=[ExceptionFailure]
1238 | alwaysRaise=[]
1239 | freeRegs=[]
1240 | comment "satisfy ((GHC.Classes.==) ')')"
1241 | minReads=2
1242 | mayRaise=[ExceptionFailure]
1243 | alwaysRaise=[]
1244 | freeRegs=[]
1245 | read ((GHC.Classes.==) ')')
1246 | minReads=2
1247 | mayRaise=[ExceptionFailure]
1248 | alwaysRaise=[]
1249 | freeRegs=[]
1250 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1251 | minReads=1
1252 | mayRaise=[ExceptionFailure]
1253 | alwaysRaise=[]
1254 | freeRegs=[]
1255 | call name
1256 | minReads=1
1257 | mayRaise=[ExceptionFailure]
1258 | alwaysRaise=[]
1259 | freeRegs=[]
1260 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1261 | minReads=0
1262 | mayRaise=[]
1263 | alwaysRaise=[]
1264 | freeRegs=[]
1265 | ret
1266 | minReads=0
1267 | mayRaise=[]
1268 | alwaysRaise=[]
1269 | freeRegs=[]
1270 let name
1271 minReads=2
1272 mayRaise=[ExceptionFailure]
1273 alwaysRaise=[]
1274 freeRegs=[]
1275 | pushValue (\u_0 -> \u_1 -> ',')
1276 | minReads=2
1277 | mayRaise=[ExceptionFailure]
1278 | alwaysRaise=[]
1279 | freeRegs=[]
1280 | comment "satisfy ((GHC.Classes.==) ',')"
1281 | minReads=2
1282 | mayRaise=[ExceptionFailure]
1283 | alwaysRaise=[]
1284 | freeRegs=[]
1285 | read ((GHC.Classes.==) ',')
1286 | minReads=2
1287 | mayRaise=[ExceptionFailure]
1288 | alwaysRaise=[]
1289 | freeRegs=[]
1290 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1291 | minReads=1
1292 | mayRaise=[ExceptionFailure]
1293 | alwaysRaise=[]
1294 | freeRegs=[]
1295 | call name
1296 | minReads=1
1297 | mayRaise=[ExceptionFailure]
1298 | alwaysRaise=[]
1299 | freeRegs=[]
1300 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1301 | minReads=0
1302 | mayRaise=[]
1303 | alwaysRaise=[]
1304 | freeRegs=[]
1305 | ret
1306 | minReads=0
1307 | mayRaise=[]
1308 | alwaysRaise=[]
1309 | freeRegs=[]
1310 let name
1311 minReads=2
1312 mayRaise=[ExceptionFailure]
1313 alwaysRaise=[]
1314 freeRegs=[]
1315 | pushValue (\u_0 -> \u_1 -> ';')
1316 | minReads=2
1317 | mayRaise=[ExceptionFailure]
1318 | alwaysRaise=[]
1319 | freeRegs=[]
1320 | comment "satisfy ((GHC.Classes.==) ';')"
1321 | minReads=2
1322 | mayRaise=[ExceptionFailure]
1323 | alwaysRaise=[]
1324 | freeRegs=[]
1325 | read ((GHC.Classes.==) ';')
1326 | minReads=2
1327 | mayRaise=[ExceptionFailure]
1328 | alwaysRaise=[]
1329 | freeRegs=[]
1330 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1331 | minReads=1
1332 | mayRaise=[ExceptionFailure]
1333 | alwaysRaise=[]
1334 | freeRegs=[]
1335 | call name
1336 | minReads=1
1337 | mayRaise=[ExceptionFailure]
1338 | alwaysRaise=[]
1339 | freeRegs=[]
1340 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1341 | minReads=0
1342 | mayRaise=[]
1343 | alwaysRaise=[]
1344 | freeRegs=[]
1345 | ret
1346 | minReads=0
1347 | mayRaise=[]
1348 | alwaysRaise=[]
1349 | freeRegs=[]
1350 let name
1351 minReads=2
1352 mayRaise=[ExceptionFailure]
1353 alwaysRaise=[]
1354 freeRegs=[]
1355 | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
1356 | minReads=2
1357 | mayRaise=[ExceptionFailure]
1358 | alwaysRaise=[]
1359 | freeRegs=[]
1360 | call name
1361 | minReads=2
1362 | mayRaise=[ExceptionFailure]
1363 | alwaysRaise=[]
1364 | freeRegs=[]
1365 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1366 | minReads=0
1367 | mayRaise=[ExceptionFailure]
1368 | alwaysRaise=[]
1369 | freeRegs=[]
1370 | pushValue (\u_0 -> u_0)
1371 | minReads=0
1372 | mayRaise=[ExceptionFailure]
1373 | alwaysRaise=[]
1374 | freeRegs=[]
1375 | newRegister reg
1376 | minReads=0
1377 | mayRaise=[ExceptionFailure]
1378 | alwaysRaise=[]
1379 | freeRegs=[]
1380 | iter loop
1381 | minReads=0
1382 | mayRaise=[ExceptionFailure]
1383 | alwaysRaise=[]
1384 | freeRegs=[reg]
1385 | | <ok>
1386 | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_3)
1387 | | | minReads=4
1388 | | | mayRaise=[ExceptionFailure]
1389 | | | alwaysRaise=[]
1390 | | | freeRegs=[reg]
1391 | | | comment "satisfy ((GHC.Classes.==) '!')"
1392 | | | minReads=4
1393 | | | mayRaise=[ExceptionFailure]
1394 | | | alwaysRaise=[]
1395 | | | freeRegs=[reg]
1396 | | | read ((GHC.Classes.==) '!')
1397 | | | minReads=4
1398 | | | mayRaise=[ExceptionFailure]
1399 | | | alwaysRaise=[]
1400 | | | freeRegs=[reg]
1401 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1402 | | | minReads=3
1403 | | | mayRaise=[ExceptionFailure]
1404 | | | alwaysRaise=[]
1405 | | | freeRegs=[reg]
1406 | | | call name
1407 | | | minReads=3
1408 | | | mayRaise=[ExceptionFailure]
1409 | | | alwaysRaise=[]
1410 | | | freeRegs=[reg]
1411 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1412 | | | minReads=2
1413 | | | mayRaise=[ExceptionFailure]
1414 | | | alwaysRaise=[]
1415 | | | freeRegs=[reg]
1416 | | | call name
1417 | | | minReads=2
1418 | | | mayRaise=[ExceptionFailure]
1419 | | | alwaysRaise=[]
1420 | | | freeRegs=[reg]
1421 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1422 | | | minReads=0
1423 | | | mayRaise=[]
1424 | | | alwaysRaise=[]
1425 | | | freeRegs=[reg]
1426 | | | readRegister reg
1427 | | | minReads=0
1428 | | | mayRaise=[]
1429 | | | alwaysRaise=[]
1430 | | | freeRegs=[reg]
1431 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1432 | | | minReads=0
1433 | | | mayRaise=[]
1434 | | | alwaysRaise=[]
1435 | | | freeRegs=[reg]
1436 | | | writeRegister reg
1437 | | | minReads=0
1438 | | | mayRaise=[]
1439 | | | alwaysRaise=[]
1440 | | | freeRegs=[reg]
1441 | | | jump loop
1442 | | | minReads=0
1443 | | | mayRaise=[]
1444 | | | alwaysRaise=[]
1445 | | | freeRegs=[]
1446 | | <ko>
1447 | | | comment "raiseAgainIfConsumed"
1448 | | | minReads=0
1449 | | | mayRaise=[ExceptionFailure]
1450 | | | alwaysRaise=[]
1451 | | | freeRegs=[reg]
1452 | | | saveInput
1453 | | | minReads=0
1454 | | | mayRaise=[ExceptionFailure]
1455 | | | alwaysRaise=[]
1456 | | | freeRegs=[reg]
1457 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1458 | | | minReads=0
1459 | | | mayRaise=[ExceptionFailure]
1460 | | | alwaysRaise=[]
1461 | | | freeRegs=[reg]
1462 | | | choicesBranch
1463 | | | minReads=0
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]
1473 | | | | | call name
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=[]
1488 | | | | | call name
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=[]
1498 | | | | | ret
1499 | | | | | minReads=0
1500 | | | | | mayRaise=[]
1501 | | | | | alwaysRaise=[]
1502 | | | | | freeRegs=[]
1503 | | | | <default>
1504 | | | | | fail []
1505 | | | | | minReads=0
1506 | | | | | mayRaise=[ExceptionFailure]
1507 | | | | | alwaysRaise=[ExceptionFailure]
1508 | | | | | freeRegs=[]
1509 let name
1510 minReads=2
1511 mayRaise=[ExceptionFailure]
1512 alwaysRaise=[]
1513 freeRegs=[]
1514 | pushValue (\u_0 -> \u_1 -> u_1)
1515 | minReads=2
1516 | mayRaise=[ExceptionFailure]
1517 | alwaysRaise=[]
1518 | freeRegs=[]
1519 | call name
1520 | minReads=2
1521 | mayRaise=[ExceptionFailure]
1522 | alwaysRaise=[]
1523 | freeRegs=[]
1524 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1525 | minReads=0
1526 | mayRaise=[ExceptionFailure]
1527 | alwaysRaise=[]
1528 | freeRegs=[]
1529 | join join
1530 | minReads=0
1531 | mayRaise=[]
1532 | alwaysRaise=[]
1533 | freeRegs=[]
1534 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1535 | | minReads=0
1536 | | mayRaise=[]
1537 | | alwaysRaise=[]
1538 | | freeRegs=[]
1539 | | ret
1540 | | minReads=0
1541 | | mayRaise=[]
1542 | | alwaysRaise=[]
1543 | | freeRegs=[]
1544 | catch ExceptionFailure
1545 | minReads=0
1546 | mayRaise=[ExceptionFailure]
1547 | alwaysRaise=[]
1548 | freeRegs=[]
1549 | | <catchScope>
1550 | | | pushValue (\u_0 -> GHC.Tuple.())
1551 | | | minReads=5
1552 | | | mayRaise=[ExceptionFailure]
1553 | | | alwaysRaise=[]
1554 | | | freeRegs=[]
1555 | | | call name
1556 | | | minReads=5
1557 | | | mayRaise=[ExceptionFailure]
1558 | | | alwaysRaise=[]
1559 | | | freeRegs=[]
1560 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1561 | | | minReads=0
1562 | | | mayRaise=[]
1563 | | | alwaysRaise=[]
1564 | | | freeRegs=[]
1565 | | | commit ExceptionFailure
1566 | | | minReads=0
1567 | | | mayRaise=[]
1568 | | | alwaysRaise=[]
1569 | | | freeRegs=[]
1570 | | | refJoin join
1571 | | | minReads=0
1572 | | | mayRaise=[]
1573 | | | alwaysRaise=[]
1574 | | | freeRegs=[]
1575 | | <onException ExceptionFailure>
1576 | | | comment "raiseAgainIfConsumed"
1577 | | | minReads=0
1578 | | | mayRaise=[ExceptionFailure]
1579 | | | alwaysRaise=[]
1580 | | | freeRegs=[]
1581 | | | saveInput
1582 | | | minReads=0
1583 | | | mayRaise=[ExceptionFailure]
1584 | | | alwaysRaise=[]
1585 | | | freeRegs=[]
1586 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
1587 | | | minReads=0
1588 | | | mayRaise=[ExceptionFailure]
1589 | | | alwaysRaise=[]
1590 | | | freeRegs=[]
1591 | | | choicesBranch
1592 | | | minReads=0
1593 | | | mayRaise=[ExceptionFailure]
1594 | | | alwaysRaise=[]
1595 | | | freeRegs=[]
1596 | | | | <branch (\u_0 -> u_0)>
1597 | | | | | call name
1598 | | | | | minReads=0
1599 | | | | | mayRaise=[]
1600 | | | | | alwaysRaise=[]
1601 | | | | | freeRegs=[]
1602 | | | | | refJoin join
1603 | | | | | minReads=0
1604 | | | | | mayRaise=[]
1605 | | | | | alwaysRaise=[]
1606 | | | | | freeRegs=[]
1607 | | | | <default>
1608 | | | | | fail []
1609 | | | | | minReads=0
1610 | | | | | mayRaise=[ExceptionFailure]
1611 | | | | | alwaysRaise=[ExceptionFailure]
1612 | | | | | freeRegs=[]
1613 let name
1614 minReads=2
1615 mayRaise=[ExceptionFailure]
1616 alwaysRaise=[]
1617 freeRegs=[]
1618 | pushValue (\u_0 -> \u_1 -> u_1)
1619 | minReads=2
1620 | mayRaise=[ExceptionFailure]
1621 | alwaysRaise=[]
1622 | freeRegs=[]
1623 | catch ExceptionFailure
1624 | minReads=2
1625 | mayRaise=[ExceptionFailure]
1626 | alwaysRaise=[]
1627 | freeRegs=[]
1628 | | <catchScope>
1629 | | | pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
1630 | | | minReads=2
1631 | | | mayRaise=[ExceptionFailure]
1632 | | | alwaysRaise=[]
1633 | | | freeRegs=[]
1634 | | | comment "satisfy Parsers.Nandlang.nandIdentStart"
1635 | | | minReads=2
1636 | | | mayRaise=[ExceptionFailure]
1637 | | | alwaysRaise=[]
1638 | | | freeRegs=[]
1639 | | | read Parsers.Nandlang.nandIdentStart
1640 | | | minReads=2
1641 | | | mayRaise=[ExceptionFailure]
1642 | | | alwaysRaise=[]
1643 | | | freeRegs=[]
1644 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1645 | | | minReads=1
1646 | | | mayRaise=[ExceptionFailure]
1647 | | | alwaysRaise=[]
1648 | | | freeRegs=[]
1649 | | | pushValue (\u_0 -> u_0)
1650 | | | minReads=1
1651 | | | mayRaise=[ExceptionFailure]
1652 | | | alwaysRaise=[]
1653 | | | freeRegs=[]
1654 | | | newRegister reg
1655 | | | minReads=1
1656 | | | mayRaise=[ExceptionFailure]
1657 | | | alwaysRaise=[]
1658 | | | freeRegs=[]
1659 | | | iter loop
1660 | | | minReads=1
1661 | | | mayRaise=[ExceptionFailure]
1662 | | | alwaysRaise=[]
1663 | | | freeRegs=[reg]
1664 | | | | <ok>
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]
1700 | | | | | jump loop
1701 | | | | | minReads=0
1702 | | | | | mayRaise=[]
1703 | | | | | alwaysRaise=[]
1704 | | | | | freeRegs=[]
1705 | | | | <ko>
1706 | | | | | comment "raiseAgainIfConsumed"
1707 | | | | | minReads=1
1708 | | | | | mayRaise=[ExceptionFailure]
1709 | | | | | alwaysRaise=[]
1710 | | | | | freeRegs=[reg]
1711 | | | | | saveInput
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=[]
1767 | | | | | | | ret
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>
1779 | | | loadInput
1780 | | | minReads=0
1781 | | | mayRaise=[ExceptionFailure]
1782 | | | alwaysRaise=[ExceptionFailure]
1783 | | | freeRegs=[]
1784 | | | fail []
1785 | | | minReads=0
1786 | | | mayRaise=[ExceptionFailure]
1787 | | | alwaysRaise=[ExceptionFailure]
1788 | | | freeRegs=[]
1789 let name
1790 minReads=4
1791 mayRaise=[ExceptionFailure]
1792 alwaysRaise=[]
1793 freeRegs=[]
1794 | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> u_3)
1795 | minReads=4
1796 | mayRaise=[ExceptionFailure]
1797 | alwaysRaise=[]
1798 | freeRegs=[]
1799 | comment "satisfy ((GHC.Classes.==) '{')"
1800 | minReads=4
1801 | mayRaise=[ExceptionFailure]
1802 | alwaysRaise=[]
1803 | freeRegs=[]
1804 | read ((GHC.Classes.==) '{')
1805 | minReads=4
1806 | mayRaise=[ExceptionFailure]
1807 | alwaysRaise=[]
1808 | freeRegs=[]
1809 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1810 | minReads=3
1811 | mayRaise=[ExceptionFailure]
1812 | alwaysRaise=[]
1813 | freeRegs=[]
1814 | call name
1815 | minReads=3
1816 | mayRaise=[ExceptionFailure]
1817 | alwaysRaise=[]
1818 | freeRegs=[]
1819 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1820 | minReads=2
1821 | mayRaise=[ExceptionFailure]
1822 | alwaysRaise=[]
1823 | freeRegs=[]
1824 | pushValue (\u_0 -> u_0)
1825 | minReads=2
1826 | mayRaise=[ExceptionFailure]
1827 | alwaysRaise=[]
1828 | freeRegs=[]
1829 | newRegister reg
1830 | minReads=2
1831 | mayRaise=[ExceptionFailure]
1832 | alwaysRaise=[]
1833 | freeRegs=[]
1834 | iter loop
1835 | minReads=2
1836 | mayRaise=[ExceptionFailure]
1837 | alwaysRaise=[]
1838 | freeRegs=[reg]
1839 | | <ok>
1840 | | | pushValue (\u_0 -> \u_1 -> u_1)
1841 | | | minReads=2
1842 | | | mayRaise=[ExceptionFailure]
1843 | | | alwaysRaise=[]
1844 | | | freeRegs=[reg]
1845 | | | join join
1846 | | | minReads=0
1847 | | | mayRaise=[]
1848 | | | alwaysRaise=[]
1849 | | | freeRegs=[reg]
1850 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1851 | | | | minReads=0
1852 | | | | mayRaise=[]
1853 | | | | alwaysRaise=[]
1854 | | | | freeRegs=[reg]
1855 | | | | readRegister reg
1856 | | | | minReads=0
1857 | | | | mayRaise=[]
1858 | | | | alwaysRaise=[]
1859 | | | | freeRegs=[reg]
1860 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
1861 | | | | minReads=0
1862 | | | | mayRaise=[]
1863 | | | | alwaysRaise=[]
1864 | | | | freeRegs=[reg]
1865 | | | | writeRegister reg
1866 | | | | minReads=0
1867 | | | | mayRaise=[]
1868 | | | | alwaysRaise=[]
1869 | | | | freeRegs=[reg]
1870 | | | | jump loop
1871 | | | | minReads=0
1872 | | | | mayRaise=[]
1873 | | | | alwaysRaise=[]
1874 | | | | freeRegs=[]
1875 | | | catch ExceptionFailure
1876 | | | minReads=2
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]
1964 | | | | | saveInput
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=[]
2722 | | <ko>
2723 | | | comment "raiseAgainIfConsumed"
2724 | | | minReads=2
2725 | | | mayRaise=[ExceptionFailure]
2726 | | | alwaysRaise=[]
2727 | | | freeRegs=[reg]
2728 | | | saveInput
2729 | | | minReads=2
2730 | | | mayRaise=[ExceptionFailure]
2731 | | | alwaysRaise=[]
2732 | | | freeRegs=[reg]
2733 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2734 | | | minReads=2
2735 | | | mayRaise=[ExceptionFailure]
2736 | | | alwaysRaise=[]
2737 | | | freeRegs=[reg]
2738 | | | choicesBranch
2739 | | | minReads=2
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]
2749 | | | | | call name
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=[]
2764 | | | | | call name
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=[]
2789 | | | | | call name
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=[]
2799 | | | | | ret
2800 | | | | | minReads=0
2801 | | | | | mayRaise=[]
2802 | | | | | alwaysRaise=[]
2803 | | | | | freeRegs=[]
2804 | | | | <default>
2805 | | | | | fail []
2806 | | | | | minReads=0
2807 | | | | | mayRaise=[ExceptionFailure]
2808 | | | | | alwaysRaise=[ExceptionFailure]
2809 | | | | | freeRegs=[]
2810 let name
2811 minReads=5
2812 mayRaise=[ExceptionFailure]
2813 alwaysRaise=[]
2814 freeRegs=[]
2815 | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> GHC.Tuple.())
2816 | minReads=5
2817 | mayRaise=[ExceptionFailure]
2818 | alwaysRaise=[]
2819 | freeRegs=[]
2820 | comment "satisfy ((GHC.Classes.==) '[')"
2821 | minReads=5
2822 | mayRaise=[ExceptionFailure]
2823 | alwaysRaise=[]
2824 | freeRegs=[]
2825 | read ((GHC.Classes.==) '[')
2826 | minReads=5
2827 | mayRaise=[ExceptionFailure]
2828 | alwaysRaise=[]
2829 | freeRegs=[]
2830 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2831 | minReads=4
2832 | mayRaise=[ExceptionFailure]
2833 | alwaysRaise=[]
2834 | freeRegs=[]
2835 | call name
2836 | minReads=4
2837 | mayRaise=[ExceptionFailure]
2838 | alwaysRaise=[]
2839 | freeRegs=[]
2840 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2841 | minReads=3
2842 | mayRaise=[ExceptionFailure]
2843 | alwaysRaise=[]
2844 | freeRegs=[]
2845 | call name
2846 | minReads=3
2847 | mayRaise=[ExceptionFailure]
2848 | alwaysRaise=[]
2849 | freeRegs=[]
2850 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2851 | minReads=2
2852 | mayRaise=[ExceptionFailure]
2853 | alwaysRaise=[]
2854 | freeRegs=[]
2855 | pushValue (\u_0 -> u_0)
2856 | minReads=2
2857 | mayRaise=[ExceptionFailure]
2858 | alwaysRaise=[]
2859 | freeRegs=[]
2860 | newRegister reg
2861 | minReads=2
2862 | mayRaise=[ExceptionFailure]
2863 | alwaysRaise=[]
2864 | freeRegs=[]
2865 | iter loop
2866 | minReads=2
2867 | mayRaise=[ExceptionFailure]
2868 | alwaysRaise=[]
2869 | freeRegs=[reg]
2870 | | <ok>
2871 | | | pushValue (\u_0 -> \u_1 -> u_1)
2872 | | | minReads=1
2873 | | | mayRaise=[ExceptionFailure]
2874 | | | alwaysRaise=[]
2875 | | | freeRegs=[reg]
2876 | | | call name
2877 | | | minReads=1
2878 | | | mayRaise=[ExceptionFailure]
2879 | | | alwaysRaise=[]
2880 | | | freeRegs=[reg]
2881 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2882 | | | minReads=0
2883 | | | mayRaise=[]
2884 | | | alwaysRaise=[]
2885 | | | freeRegs=[reg]
2886 | | | readRegister reg
2887 | | | minReads=0
2888 | | | mayRaise=[]
2889 | | | alwaysRaise=[]
2890 | | | freeRegs=[reg]
2891 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2892 | | | minReads=0
2893 | | | mayRaise=[]
2894 | | | alwaysRaise=[]
2895 | | | freeRegs=[reg]
2896 | | | writeRegister reg
2897 | | | minReads=0
2898 | | | mayRaise=[]
2899 | | | alwaysRaise=[]
2900 | | | freeRegs=[reg]
2901 | | | jump loop
2902 | | | minReads=0
2903 | | | mayRaise=[]
2904 | | | alwaysRaise=[]
2905 | | | freeRegs=[]
2906 | | <ko>
2907 | | | comment "raiseAgainIfConsumed"
2908 | | | minReads=2
2909 | | | mayRaise=[ExceptionFailure]
2910 | | | alwaysRaise=[]
2911 | | | freeRegs=[reg]
2912 | | | saveInput
2913 | | | minReads=2
2914 | | | mayRaise=[ExceptionFailure]
2915 | | | alwaysRaise=[]
2916 | | | freeRegs=[reg]
2917 | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
2918 | | | minReads=2
2919 | | | mayRaise=[ExceptionFailure]
2920 | | | alwaysRaise=[]
2921 | | | freeRegs=[reg]
2922 | | | choicesBranch
2923 | | | minReads=2
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=[]
2963 | | | | | call name
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=[]
2973 | | | | | ret
2974 | | | | | minReads=0
2975 | | | | | mayRaise=[]
2976 | | | | | alwaysRaise=[]
2977 | | | | | freeRegs=[]
2978 | | | | <default>
2979 | | | | | fail []
2980 | | | | | minReads=0
2981 | | | | | mayRaise=[ExceptionFailure]
2982 | | | | | alwaysRaise=[ExceptionFailure]
2983 | | | | | freeRegs=[]
2984 pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Show.show GHC.Tuple.())
2985 minReads=1
2986 mayRaise=[ExceptionFailure]
2987 alwaysRaise=[]
2988 freeRegs=[]
2989 call name
2990 minReads=1
2991 mayRaise=[ExceptionFailure]
2992 alwaysRaise=[]
2993 freeRegs=[]
2994 lift2Value (\u_0 -> \u_1 -> u_0 u_1)
2995 minReads=0
2996 mayRaise=[ExceptionFailure]
2997 alwaysRaise=[]
2998 freeRegs=[]
2999 pushValue (\u_0 -> u_0)
3000 minReads=0
3001 mayRaise=[ExceptionFailure]
3002 alwaysRaise=[]
3003 freeRegs=[]
3004 newRegister reg
3005 minReads=0
3006 mayRaise=[ExceptionFailure]
3007 alwaysRaise=[]
3008 freeRegs=[]
3009 iter loop
3010 minReads=0
3011 mayRaise=[ExceptionFailure]
3012 alwaysRaise=[]
3013 freeRegs=[reg]
3014 | <ok>
3015 | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> u_7)
3016 | | minReads=18
3017 | | mayRaise=[ExceptionFailure]
3018 | | alwaysRaise=[]
3019 | | freeRegs=[reg]
3020 | | catch ExceptionFailure
3021 | | minReads=18
3022 | | mayRaise=[ExceptionFailure]
3023 | | alwaysRaise=[]
3024 | | freeRegs=[reg]
3025 | | | <catchScope>
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.[]))))))))
3027 | | | | minReads=18
3028 | | | | mayRaise=[ExceptionFailure]
3029 | | | | alwaysRaise=[]
3030 | | | | freeRegs=[reg]
3031 | | | | comment "satisfy ((GHC.Classes.==) 'f')"
3032 | | | | minReads=18
3033 | | | | mayRaise=[ExceptionFailure]
3034 | | | | alwaysRaise=[]
3035 | | | | freeRegs=[reg]
3036 | | | | read ((GHC.Classes.==) 'f')
3037 | | | | minReads=18
3038 | | | | mayRaise=[ExceptionFailure]
3039 | | | | alwaysRaise=[]
3040 | | | | freeRegs=[reg]
3041 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3042 | | | | minReads=17
3043 | | | | mayRaise=[ExceptionFailure]
3044 | | | | alwaysRaise=[]
3045 | | | | freeRegs=[reg]
3046 | | | | comment "satisfy ((GHC.Classes.==) 'u')"
3047 | | | | minReads=17
3048 | | | | mayRaise=[ExceptionFailure]
3049 | | | | alwaysRaise=[]
3050 | | | | freeRegs=[reg]
3051 | | | | read ((GHC.Classes.==) 'u')
3052 | | | | minReads=17
3053 | | | | mayRaise=[ExceptionFailure]
3054 | | | | alwaysRaise=[]
3055 | | | | freeRegs=[reg]
3056 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3057 | | | | minReads=16
3058 | | | | mayRaise=[ExceptionFailure]
3059 | | | | alwaysRaise=[]
3060 | | | | freeRegs=[reg]
3061 | | | | comment "satisfy ((GHC.Classes.==) 'n')"
3062 | | | | minReads=16
3063 | | | | mayRaise=[ExceptionFailure]
3064 | | | | alwaysRaise=[]
3065 | | | | freeRegs=[reg]
3066 | | | | read ((GHC.Classes.==) 'n')
3067 | | | | minReads=16
3068 | | | | mayRaise=[ExceptionFailure]
3069 | | | | alwaysRaise=[]
3070 | | | | freeRegs=[reg]
3071 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3072 | | | | minReads=15
3073 | | | | mayRaise=[ExceptionFailure]
3074 | | | | alwaysRaise=[]
3075 | | | | freeRegs=[reg]
3076 | | | | comment "satisfy ((GHC.Classes.==) 'c')"
3077 | | | | minReads=15
3078 | | | | mayRaise=[ExceptionFailure]
3079 | | | | alwaysRaise=[]
3080 | | | | freeRegs=[reg]
3081 | | | | read ((GHC.Classes.==) 'c')
3082 | | | | minReads=15
3083 | | | | mayRaise=[ExceptionFailure]
3084 | | | | alwaysRaise=[]
3085 | | | | freeRegs=[reg]
3086 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3087 | | | | minReads=14
3088 | | | | mayRaise=[ExceptionFailure]
3089 | | | | alwaysRaise=[]
3090 | | | | freeRegs=[reg]
3091 | | | | comment "satisfy ((GHC.Classes.==) 't')"
3092 | | | | minReads=14
3093 | | | | mayRaise=[ExceptionFailure]
3094 | | | | alwaysRaise=[]
3095 | | | | freeRegs=[reg]
3096 | | | | read ((GHC.Classes.==) 't')
3097 | | | | minReads=14
3098 | | | | mayRaise=[ExceptionFailure]
3099 | | | | alwaysRaise=[]
3100 | | | | freeRegs=[reg]
3101 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3102 | | | | minReads=13
3103 | | | | mayRaise=[ExceptionFailure]
3104 | | | | alwaysRaise=[]
3105 | | | | freeRegs=[reg]
3106 | | | | comment "satisfy ((GHC.Classes.==) 'i')"
3107 | | | | minReads=13
3108 | | | | mayRaise=[ExceptionFailure]
3109 | | | | alwaysRaise=[]
3110 | | | | freeRegs=[reg]
3111 | | | | read ((GHC.Classes.==) 'i')
3112 | | | | minReads=13
3113 | | | | mayRaise=[ExceptionFailure]
3114 | | | | alwaysRaise=[]
3115 | | | | freeRegs=[reg]
3116 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3117 | | | | minReads=12
3118 | | | | mayRaise=[ExceptionFailure]
3119 | | | | alwaysRaise=[]
3120 | | | | freeRegs=[reg]
3121 | | | | comment "satisfy ((GHC.Classes.==) 'o')"
3122 | | | | minReads=12
3123 | | | | mayRaise=[ExceptionFailure]
3124 | | | | alwaysRaise=[]
3125 | | | | freeRegs=[reg]
3126 | | | | read ((GHC.Classes.==) 'o')
3127 | | | | minReads=12
3128 | | | | mayRaise=[ExceptionFailure]
3129 | | | | alwaysRaise=[]
3130 | | | | freeRegs=[reg]
3131 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3132 | | | | minReads=11
3133 | | | | mayRaise=[ExceptionFailure]
3134 | | | | alwaysRaise=[]
3135 | | | | freeRegs=[reg]
3136 | | | | comment "satisfy ((GHC.Classes.==) 'n')"
3137 | | | | minReads=11
3138 | | | | mayRaise=[ExceptionFailure]
3139 | | | | alwaysRaise=[]
3140 | | | | freeRegs=[reg]
3141 | | | | read ((GHC.Classes.==) 'n')
3142 | | | | minReads=11
3143 | | | | mayRaise=[ExceptionFailure]
3144 | | | | alwaysRaise=[]
3145 | | | | freeRegs=[reg]
3146 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3147 | | | | minReads=10
3148 | | | | mayRaise=[ExceptionFailure]
3149 | | | | alwaysRaise=[]
3150 | | | | freeRegs=[reg]
3151 | | | | commit ExceptionFailure
3152 | | | | minReads=10
3153 | | | | mayRaise=[ExceptionFailure]
3154 | | | | alwaysRaise=[]
3155 | | | | freeRegs=[reg]
3156 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3157 | | | | minReads=10
3158 | | | | mayRaise=[ExceptionFailure]
3159 | | | | alwaysRaise=[]
3160 | | | | freeRegs=[reg]
3161 | | | | call name
3162 | | | | minReads=10
3163 | | | | mayRaise=[ExceptionFailure]
3164 | | | | alwaysRaise=[]
3165 | | | | freeRegs=[reg]
3166 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3167 | | | | minReads=8
3168 | | | | mayRaise=[ExceptionFailure]
3169 | | | | alwaysRaise=[]
3170 | | | | freeRegs=[reg]
3171 | | | | call name
3172 | | | | minReads=8
3173 | | | | mayRaise=[ExceptionFailure]
3174 | | | | alwaysRaise=[]
3175 | | | | freeRegs=[reg]
3176 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3177 | | | | minReads=6
3178 | | | | mayRaise=[ExceptionFailure]
3179 | | | | alwaysRaise=[]
3180 | | | | freeRegs=[reg]
3181 | | | | call name
3182 | | | | minReads=6
3183 | | | | mayRaise=[ExceptionFailure]
3184 | | | | alwaysRaise=[]
3185 | | | | freeRegs=[reg]
3186 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3187 | | | | minReads=6
3188 | | | | mayRaise=[ExceptionFailure]
3189 | | | | alwaysRaise=[]
3190 | | | | freeRegs=[reg]
3191 | | | | join join
3192 | | | | minReads=6
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]
3201 | | | | | call name
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]
3211 | | | | | call name
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]
3236 | | | | | jump loop
3237 | | | | | minReads=0
3238 | | | | | mayRaise=[]
3239 | | | | | alwaysRaise=[]
3240 | | | | | freeRegs=[]
3241 | | | | catch ExceptionFailure
3242 | | | | minReads=6
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>
3336 | | | | loadInput
3337 | | | | minReads=0
3338 | | | | mayRaise=[ExceptionFailure]
3339 | | | | alwaysRaise=[ExceptionFailure]
3340 | | | | freeRegs=[]
3341 | | | | fail []
3342 | | | | minReads=0
3343 | | | | mayRaise=[ExceptionFailure]
3344 | | | | alwaysRaise=[ExceptionFailure]
3345 | | | | freeRegs=[]
3346 | <ko>
3347 | | comment "raiseAgainIfConsumed"
3348 | | minReads=0
3349 | | mayRaise=[ExceptionFailure]
3350 | | alwaysRaise=[]
3351 | | freeRegs=[reg]
3352 | | saveInput
3353 | | minReads=0
3354 | | mayRaise=[ExceptionFailure]
3355 | | alwaysRaise=[]
3356 | | freeRegs=[reg]
3357 | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
3358 | | minReads=0
3359 | | mayRaise=[ExceptionFailure]
3360 | | alwaysRaise=[]
3361 | | freeRegs=[reg]
3362 | | choicesBranch
3363 | | minReads=0
3364 | | mayRaise=[ExceptionFailure]
3365 | | alwaysRaise=[]
3366 | | freeRegs=[reg]
3367 | | | <branch (\u_0 -> u_0)>
3368 | | | | readRegister reg
3369 | | | | minReads=0
3370 | | | | mayRaise=[ExceptionFailure]
3371 | | | | alwaysRaise=[]
3372 | | | | freeRegs=[reg]
3373 | | | | call name
3374 | | | | minReads=0
3375 | | | | mayRaise=[ExceptionFailure]
3376 | | | | alwaysRaise=[]
3377 | | | | freeRegs=[]
3378 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3379 | | | | minReads=0
3380 | | | | mayRaise=[ExceptionFailure]
3381 | | | | alwaysRaise=[]
3382 | | | | freeRegs=[]
3383 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3384 | | | | minReads=0
3385 | | | | mayRaise=[ExceptionFailure]
3386 | | | | alwaysRaise=[]
3387 | | | | freeRegs=[]
3388 | | | | join join
3389 | | | | minReads=0
3390 | | | | mayRaise=[]
3391 | | | | alwaysRaise=[]
3392 | | | | freeRegs=[]
3393 | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
3394 | | | | | minReads=0
3395 | | | | | mayRaise=[]
3396 | | | | | alwaysRaise=[]
3397 | | | | | freeRegs=[]
3398 | | | | | ret
3399 | | | | | minReads=0
3400 | | | | | mayRaise=[]
3401 | | | | | alwaysRaise=[]
3402 | | | | | freeRegs=[]
3403 | | | | catch ExceptionFailure
3404 | | | | minReads=0
3405 | | | | mayRaise=[ExceptionFailure]
3406 | | | | alwaysRaise=[]
3407 | | | | freeRegs=[]
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=[]
3524 | | | <default>
3525 | | | | fail []
3526 | | | | minReads=0
3527 | | | | mayRaise=[ExceptionFailure]
3528 | | | | alwaysRaise=[ExceptionFailure]
3529 | | | | freeRegs=[]