1 pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
3 | pushValue (\u1 -> (\u2 -> (\u3 -> u3)))
8 | lift2Value (\u1 -> (\u2 -> u1 u2))
10 | | catchException "fail"
12 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
14 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
16 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
17 | | | | popException "fail"
19 | | | catchException "fail"
21 | | | | pushValue (\u1 -> (\u2 -> Term))
23 | | | | | pushValue (\u1 -> (\u2 -> u2))
25 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
26 | | | | | call <hidden>
27 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
30 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
32 | | | | | catchException "fail"
34 | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
35 | | | | | | call <hidden>
36 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
37 | | | | | | call <hidden>
38 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
39 | | | | | | popException "fail"
43 | | | | | lift2Value Term
44 | | | | | choicesBranch [(\u1 -> u1)]
46 | | | | | | pushValue (\u1 -> u1)
49 | | | | | raiseException "fail"
51 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
52 | | | | popException "fail"
53 | | | | refJoin <hidden>
57 | | | choicesBranch [(\u1 -> u1)]
59 | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
60 | | | | catchException "fail"
62 | | | | | pushValue (\u1 -> (\u2 -> '/' : ('/' : Term)))
63 | | | | | read ('/' ==)
64 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
65 | | | | | read ('/' ==)
66 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
67 | | | | | popException "fail"
68 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
69 | | | | | call <hidden>
70 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
72 | | | | | | catchException "fail"
74 | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
75 | | | | | | | read Term
76 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
77 | | | | | | | call <hidden>
78 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
79 | | | | | | | popException "fail"
83 | | | | | | lift2Value Term
84 | | | | | | choicesBranch [(\u1 -> u1)]
86 | | | | | | | pushValue (\u1 -> u1)
89 | | | | | | raiseException "fail"
90 | | | | | call <hidden>
91 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
92 | | | | | call <hidden>
93 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
94 | | | | | call <hidden>
95 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
96 | | | | | refJoin <hidden>
99 | | | | raiseException "fail"
101 | | | raiseException "fail"
105 | | choicesBranch [(\u1 -> u1)]
107 | | | pushValue (\u1 -> u1)
110 | | raiseException "fail"
112 | lift2Value (\u1 -> (\u2 -> u1 u2))
114 | lift2Value (\u1 -> (\u2 -> u1 u2))
117 lift2Value (\u1 -> (\u2 -> u1 u2))
119 lift2Value (\u1 -> (\u2 -> u1 u2))
121 | catchException "fail"
123 | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
124 | | catchException "fail"
126 | | | pushValue (\u1 -> (\u2 -> u2))
127 | | | catchException "fail"
129 | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : u9))))))))))))))))
130 | | | | read ('f' ==)
131 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
132 | | | | read ('u' ==)
133 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
134 | | | | read ('n' ==)
135 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
136 | | | | read ('c' ==)
137 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
138 | | | | read ('t' ==)
139 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
140 | | | | read ('i' ==)
141 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
142 | | | | read ('o' ==)
143 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
144 | | | | read ('n' ==)
145 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
147 | | | | | pushValue Term
149 | | | | call <hidden>
150 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
151 | | | | popException "fail"
152 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
154 | | | | | catchException "fail"
156 | | | | | | pushInput
157 | | | | | | read Term
159 | | | | | | popException "fail"
160 | | | | | | loadInput
161 | | | | | | raiseException "fail"
164 | | | | | pushValue Term
166 | | | | call <hidden>
167 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
168 | | | | popException "fail"
169 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
170 | | | | call <hidden>
171 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
173 | | | | | pushValue (\u1 -> (\u2 -> u2))
174 | | | | | catchException "fail"
176 | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
177 | | | | | | read Term
178 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
179 | | | | | | call <hidden>
180 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
181 | | | | | | <hidden>:
182 | | | | | | | catchException "fail"
184 | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
185 | | | | | | | | read Term
186 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
187 | | | | | | | | call <hidden>
188 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
189 | | | | | | | | popException "fail"
191 | | | | | | | <handler>
192 | | | | | | | pushInput
193 | | | | | | | lift2Value Term
194 | | | | | | | choicesBranch [(\u1 -> u1)]
195 | | | | | | | <branch>
196 | | | | | | | | pushValue (\u1 -> u1)
198 | | | | | | | <default>
199 | | | | | | | raiseException "fail"
200 | | | | | | call <hidden>
201 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
202 | | | | | | call <hidden>
203 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
204 | | | | | | popException "fail"
205 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
206 | | | | | | call <hidden>
207 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
211 | | | | | raiseException "fail"
212 | | | | call <hidden>
213 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
215 | | | | | pushValue (\u1 -> (\u2 -> '('))
216 | | | | | read ('(' ==)
217 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
218 | | | | | call <hidden>
219 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
221 | | | | call <hidden>
222 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
224 | | | | | catchException "fail"
226 | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
227 | | | | | | <hidden>:
228 | | | | | | | pushValue (\u1 -> (\u2 -> u2))
229 | | | | | | | call <hidden>
230 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
231 | | | | | | | <hidden>:
232 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
234 | | | | | | | catchException "fail"
236 | | | | | | | | pushValue (\u1 -> Term)
237 | | | | | | | | <hidden>:
238 | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
239 | | | | | | | | | read ('[' ==)
240 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
241 | | | | | | | | | call <hidden>
242 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
243 | | | | | | | | | <hidden>:
244 | | | | | | | | | | read Term
245 | | | | | | | | | | ret
246 | | | | | | | | | call <hidden>
247 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
248 | | | | | | | | | <hidden>:
249 | | | | | | | | | | catchException "fail"
250 | | | | | | | | | | <try>
251 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
252 | | | | | | | | | | | call <hidden>
253 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
254 | | | | | | | | | | | call <hidden>
255 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
256 | | | | | | | | | | | popException "fail"
257 | | | | | | | | | | | ret
258 | | | | | | | | | | <handler>
259 | | | | | | | | | | pushInput
260 | | | | | | | | | | lift2Value Term
261 | | | | | | | | | | choicesBranch [(\u1 -> u1)]
262 | | | | | | | | | | <branch>
263 | | | | | | | | | | | pushValue (\u1 -> u1)
264 | | | | | | | | | | | ret
265 | | | | | | | | | | <default>
266 | | | | | | | | | | raiseException "fail"
267 | | | | | | | | | call <hidden>
268 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
269 | | | | | | | | | read (']' ==)
270 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
271 | | | | | | | | | call <hidden>
272 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
273 | | | | | | | | | ret
274 | | | | | | | | call <hidden>
275 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
276 | | | | | | | | popException "fail"
277 | | | | | | | | refJoin <hidden>
278 | | | | | | | <handler>
279 | | | | | | | pushInput
280 | | | | | | | lift2Value Term
281 | | | | | | | choicesBranch [(\u1 -> u1)]
282 | | | | | | | <branch>
283 | | | | | | | | call <hidden>
284 | | | | | | | | refJoin <hidden>
285 | | | | | | | <default>
286 | | | | | | | raiseException "fail"
287 | | | | | | call <hidden>
288 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
289 | | | | | | call <hidden>
290 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
291 | | | | | | <hidden>:
292 | | | | | | | catchException "fail"
294 | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
295 | | | | | | | | <hidden>:
296 | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
297 | | | | | | | | | ret
298 | | | | | | | | call <hidden>
299 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
300 | | | | | | | | <hidden>:
301 | | | | | | | | | pushValue (\u1 -> (\u2 -> ','))
302 | | | | | | | | | read (',' ==)
303 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
304 | | | | | | | | | call <hidden>
305 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
306 | | | | | | | | | ret
307 | | | | | | | | call <hidden>
308 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
309 | | | | | | | | call <hidden>
310 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
311 | | | | | | | | call <hidden>
312 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
313 | | | | | | | | popException "fail"
315 | | | | | | | <handler>
316 | | | | | | | pushInput
317 | | | | | | | lift2Value Term
318 | | | | | | | choicesBranch [(\u1 -> u1)]
319 | | | | | | | <branch>
320 | | | | | | | | pushValue (\u1 -> u1)
322 | | | | | | | <default>
323 | | | | | | | raiseException "fail"
324 | | | | | | call <hidden>
325 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
326 | | | | | | call <hidden>
327 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
328 | | | | | | popException "fail"
332 | | | | | lift2Value Term
333 | | | | | choicesBranch [(\u1 -> u1)]
335 | | | | | | jump <hidden>
337 | | | | | raiseException "fail"
338 | | | | call <hidden>
339 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
341 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
343 | | | | | | pushValue (\u1 -> (\u2 -> ')'))
344 | | | | | | read (')' ==)
345 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
346 | | | | | | call <hidden>
347 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
349 | | | | | call <hidden>
350 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
352 | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
353 | | | | | | read ('{' ==)
354 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
355 | | | | | | call <hidden>
356 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
357 | | | | | | call <hidden>
358 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
359 | | | | | | <hidden>:
360 | | | | | | | catchException "fail"
362 | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
363 | | | | | | | | <hidden>:
364 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
365 | | | | | | | | | call <hidden>
366 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
367 | | | | | | | | | popException "fail"
368 | | | | | | | | | ret
369 | | | | | | | | catchException "fail"
370 | | | | | | | | <try>
371 | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
372 | | | | | | | | | catchException "fail"
373 | | | | | | | | | <try>
374 | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
375 | | | | | | | | | | catchException "fail"
376 | | | | | | | | | | <try>
377 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
378 | | | | | | | | | | | read ('i' ==)
379 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
380 | | | | | | | | | | | read ('f' ==)
381 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
382 | | | | | | | | | | | call <hidden>
383 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
384 | | | | | | | | | | | popException "fail"
385 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
386 | | | | | | | | | | | call <hidden>
387 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
388 | | | | | | | | | | | popException "fail"
389 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
390 | | | | | | | | | | | call <hidden>
391 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
392 | | | | | | | | | | | <hidden>:
393 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
394 | | | | | | | | | | | | <hidden>:
395 | | | | | | | | | | | | | catchException "fail"
396 | | | | | | | | | | | | | <try>
397 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
398 | | | | | | | | | | | | | | <hidden>:
399 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
400 | | | | | | | | | | | | | | | call <hidden>
401 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
402 | | | | | | | | | | | | | | | popException "fail"
403 | | | | | | | | | | | | | | | ret
404 | | | | | | | | | | | | | | catchException "fail"
405 | | | | | | | | | | | | | | <try>
406 | | | | | | | | | | | | | | | pushValue (\u1 -> '0')
407 | | | | | | | | | | | | | | | read ('0' ==)
408 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
409 | | | | | | | | | | | | | | | popException "fail"
410 | | | | | | | | | | | | | | | refJoin <hidden>
411 | | | | | | | | | | | | | | <handler>
412 | | | | | | | | | | | | | | pushInput
413 | | | | | | | | | | | | | | lift2Value Term
414 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
415 | | | | | | | | | | | | | | <branch>
416 | | | | | | | | | | | | | | | pushValue (\u1 -> '1')
417 | | | | | | | | | | | | | | | read ('1' ==)
418 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
419 | | | | | | | | | | | | | | | refJoin <hidden>
420 | | | | | | | | | | | | | | <default>
421 | | | | | | | | | | | | | | raiseException "fail"
422 | | | | | | | | | | | | | <handler>
423 | | | | | | | | | | | | | pushInput
424 | | | | | | | | | | | | | lift2Value Term
425 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
426 | | | | | | | | | | | | | <branch>
427 | | | | | | | | | | | | | | catchException "fail"
428 | | | | | | | | | | | | | | <try>
429 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
430 | | | | | | | | | | | | | | | read ('\'' ==)
431 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
432 | | | | | | | | | | | | | | | <hidden>:
433 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
434 | | | | | | | | | | | | | | | | read ('\'' ==)
435 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
436 | | | | | | | | | | | | | | | | call <hidden>
437 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
438 | | | | | | | | | | | | | | | | popException "fail"
439 | | | | | | | | | | | | | | | | ret
440 | | | | | | | | | | | | | | | catchException "fail"
441 | | | | | | | | | | | | | | | <try>
442 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
443 | | | | | | | | | | | | | | | | read Term
444 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
445 | | | | | | | | | | | | | | | | call <hidden>
446 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
447 | | | | | | | | | | | | | | | | popException "fail"
448 | | | | | | | | | | | | | | | | refJoin <hidden>
449 | | | | | | | | | | | | | | | <handler>
450 | | | | | | | | | | | | | | | pushInput
451 | | | | | | | | | | | | | | | lift2Value Term
452 | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
453 | | | | | | | | | | | | | | | <branch>
454 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u3)))
455 | | | | | | | | | | | | | | | | read ('\\' ==)
456 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
457 | | | | | | | | | | | | | | | | read Term
458 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
459 | | | | | | | | | | | | | | | | call <hidden>
460 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
461 | | | | | | | | | | | | | | | | refJoin <hidden>
462 | | | | | | | | | | | | | | | <default>
463 | | | | | | | | | | | | | | | raiseException "fail"
464 | | | | | | | | | | | | | | <handler>
465 | | | | | | | | | | | | | | pushInput
466 | | | | | | | | | | | | | | lift2Value Term
467 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
468 | | | | | | | | | | | | | | <branch>
469 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
470 | | | | | | | | | | | | | | | call <hidden>
471 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
472 | | | | | | | | | | | | | | | <hidden>:
473 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
474 | | | | | | | | | | | | | | | | ret
475 | | | | | | | | | | | | | | | catchException "fail"
476 | | | | | | | | | | | | | | | <try>
477 | | | | | | | | | | | | | | | | pushValue (\u1 -> Term)
478 | | | | | | | | | | | | | | | | <hidden>:
479 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
480 | | | | | | | | | | | | | | | | | popException "fail"
481 | | | | | | | | | | | | | | | | | refJoin <hidden>
482 | | | | | | | | | | | | | | | | catchException "fail"
483 | | | | | | | | | | | | | | | | <try>
484 | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2)))
485 | | | | | | | | | | | | | | | | | call <hidden>
486 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
487 | | | | | | | | | | | | | | | | | <hidden>:
488 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
489 | | | | | | | | | | | | | | | | | | call <hidden>
490 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
491 | | | | | | | | | | | | | | | | | | popException "fail"
492 | | | | | | | | | | | | | | | | | | refJoin <hidden>
493 | | | | | | | | | | | | | | | | | catchException "fail"
494 | | | | | | | | | | | | | | | | | <try>
495 | | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
496 | | | | | | | | | | | | | | | | | | call <hidden>
497 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
498 | | | | | | | | | | | | | | | | | | call <hidden>
499 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
500 | | | | | | | | | | | | | | | | | | <hidden>:
501 | | | | | | | | | | | | | | | | | | | catchException "fail"
502 | | | | | | | | | | | | | | | | | | | <try>
503 | | | | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
504 | | | | | | | | | | | | | | | | | | | | call <hidden>
505 | | | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
506 | | | | | | | | | | | | | | | | | | | | call <hidden>
507 | | | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
508 | | | | | | | | | | | | | | | | | | | | call <hidden>
509 | | | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
510 | | | | | | | | | | | | | | | | | | | | call <hidden>
511 | | | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
512 | | | | | | | | | | | | | | | | | | | | popException "fail"
513 | | | | | | | | | | | | | | | | | | | | ret
514 | | | | | | | | | | | | | | | | | | | <handler>
515 | | | | | | | | | | | | | | | | | | | pushInput
516 | | | | | | | | | | | | | | | | | | | lift2Value Term
517 | | | | | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
518 | | | | | | | | | | | | | | | | | | | <branch>
519 | | | | | | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
520 | | | | | | | | | | | | | | | | | | | | ret
521 | | | | | | | | | | | | | | | | | | | <default>
522 | | | | | | | | | | | | | | | | | | | raiseException "fail"
523 | | | | | | | | | | | | | | | | | | call <hidden>
524 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
525 | | | | | | | | | | | | | | | | | | call <hidden>
526 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
527 | | | | | | | | | | | | | | | | | | popException "fail"
528 | | | | | | | | | | | | | | | | | | refJoin <hidden>
529 | | | | | | | | | | | | | | | | | <handler>
530 | | | | | | | | | | | | | | | | | pushInput
531 | | | | | | | | | | | | | | | | | lift2Value Term
532 | | | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
533 | | | | | | | | | | | | | | | | | <branch>
534 | | | | | | | | | | | | | | | | | | call <hidden>
535 | | | | | | | | | | | | | | | | | | refJoin <hidden>
536 | | | | | | | | | | | | | | | | | <default>
537 | | | | | | | | | | | | | | | | | raiseException "fail"
538 | | | | | | | | | | | | | | | | <handler>
539 | | | | | | | | | | | | | | | | pushInput
540 | | | | | | | | | | | | | | | | lift2Value Term
541 | | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
542 | | | | | | | | | | | | | | | | <branch>
543 | | | | | | | | | | | | | | | | | call <hidden>
544 | | | | | | | | | | | | | | | | | refJoin <hidden>
545 | | | | | | | | | | | | | | | | <default>
546 | | | | | | | | | | | | | | | | raiseException "fail"
547 | | | | | | | | | | | | | | | <handler>
548 | | | | | | | | | | | | | | | pushInput
549 | | | | | | | | | | | | | | | lift2Value Term
550 | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
551 | | | | | | | | | | | | | | | <branch>
552 | | | | | | | | | | | | | | | | call <hidden>
553 | | | | | | | | | | | | | | | | refJoin <hidden>
554 | | | | | | | | | | | | | | | <default>
555 | | | | | | | | | | | | | | | raiseException "fail"
556 | | | | | | | | | | | | | | <default>
557 | | | | | | | | | | | | | | raiseException "fail"
558 | | | | | | | | | | | | | <default>
559 | | | | | | | | | | | | | raiseException "fail"
560 | | | | | | | | | | | | call <hidden>
561 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
562 | | | | | | | | | | | | call <hidden>
563 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
564 | | | | | | | | | | | | <hidden>:
565 | | | | | | | | | | | | | catchException "fail"
566 | | | | | | | | | | | | | <try>
567 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
568 | | | | | | | | | | | | | | read ('!' ==)
569 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
570 | | | | | | | | | | | | | | call <hidden>
571 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
572 | | | | | | | | | | | | | | call <hidden>
573 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
574 | | | | | | | | | | | | | | call <hidden>
575 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
576 | | | | | | | | | | | | | | popException "fail"
577 | | | | | | | | | | | | | | ret
578 | | | | | | | | | | | | | <handler>
579 | | | | | | | | | | | | | pushInput
580 | | | | | | | | | | | | | lift2Value Term
581 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
582 | | | | | | | | | | | | | <branch>
583 | | | | | | | | | | | | | | pushValue (\u1 -> u1)
584 | | | | | | | | | | | | | | ret
585 | | | | | | | | | | | | | <default>
586 | | | | | | | | | | | | | raiseException "fail"
587 | | | | | | | | | | | | call <hidden>
588 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
589 | | | | | | | | | | | | call <hidden>
590 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
591 | | | | | | | | | | | | ret
592 | | | | | | | | | | | call <hidden>
593 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
594 | | | | | | | | | | | call <hidden>
595 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
596 | | | | | | | | | | | <hidden>:
597 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
598 | | | | | | | | | | | | popException "fail"
599 | | | | | | | | | | | | refJoin <hidden>
600 | | | | | | | | | | | catchException "fail"
601 | | | | | | | | | | | <try>
602 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
603 | | | | | | | | | | | | catchException "fail"
604 | | | | | | | | | | | | <try>
605 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
606 | | | | | | | | | | | | | catchException "fail"
607 | | | | | | | | | | | | | <try>
608 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))
609 | | | | | | | | | | | | | | read ('e' ==)
610 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
611 | | | | | | | | | | | | | | read ('l' ==)
612 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
613 | | | | | | | | | | | | | | read ('s' ==)
614 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
615 | | | | | | | | | | | | | | read ('e' ==)
616 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
617 | | | | | | | | | | | | | | call <hidden>
618 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
619 | | | | | | | | | | | | | | popException "fail"
620 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
621 | | | | | | | | | | | | | | call <hidden>
622 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
623 | | | | | | | | | | | | | | popException "fail"
624 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
625 | | | | | | | | | | | | | | call <hidden>
626 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
627 | | | | | | | | | | | | | | call <hidden>
628 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
629 | | | | | | | | | | | | | | popException "fail"
630 | | | | | | | | | | | | | | refJoin <hidden>
631 | | | | | | | | | | | | | <handler>
632 | | | | | | | | | | | | | loadInput
633 | | | | | | | | | | | | | raiseException "fail"
634 | | | | | | | | | | | | <handler>
635 | | | | | | | | | | | | loadInput
636 | | | | | | | | | | | | raiseException "fail"
637 | | | | | | | | | | | <handler>
638 | | | | | | | | | | | pushInput
639 | | | | | | | | | | | lift2Value Term
640 | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
641 | | | | | | | | | | | <branch>
642 | | | | | | | | | | | | call <hidden>
643 | | | | | | | | | | | | refJoin <hidden>
644 | | | | | | | | | | | <default>
645 | | | | | | | | | | | raiseException "fail"
646 | | | | | | | | | | <handler>
647 | | | | | | | | | | loadInput
648 | | | | | | | | | | raiseException "fail"
649 | | | | | | | | | <handler>
650 | | | | | | | | | loadInput
651 | | | | | | | | | raiseException "fail"
652 | | | | | | | | <handler>
653 | | | | | | | | pushInput
654 | | | | | | | | lift2Value Term
655 | | | | | | | | choicesBranch [(\u1 -> u1)]
656 | | | | | | | | <branch>
657 | | | | | | | | | catchException "fail"
658 | | | | | | | | | <try>
659 | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
660 | | | | | | | | | | catchException "fail"
661 | | | | | | | | | | <try>
662 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
663 | | | | | | | | | | | catchException "fail"
664 | | | | | | | | | | | <try>
665 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))
666 | | | | | | | | | | | | read ('w' ==)
667 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
668 | | | | | | | | | | | | read ('h' ==)
669 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
670 | | | | | | | | | | | | read ('i' ==)
671 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
672 | | | | | | | | | | | | read ('l' ==)
673 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
674 | | | | | | | | | | | | read ('e' ==)
675 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
676 | | | | | | | | | | | | call <hidden>
677 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
678 | | | | | | | | | | | | popException "fail"
679 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
680 | | | | | | | | | | | | call <hidden>
681 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
682 | | | | | | | | | | | | popException "fail"
683 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
684 | | | | | | | | | | | | call <hidden>
685 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
686 | | | | | | | | | | | | call <hidden>
687 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
688 | | | | | | | | | | | | call <hidden>
689 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
690 | | | | | | | | | | | | popException "fail"
691 | | | | | | | | | | | | refJoin <hidden>
692 | | | | | | | | | | | <handler>
693 | | | | | | | | | | | loadInput
694 | | | | | | | | | | | raiseException "fail"
695 | | | | | | | | | | <handler>
696 | | | | | | | | | | loadInput
697 | | | | | | | | | | raiseException "fail"
698 | | | | | | | | | <handler>
699 | | | | | | | | | pushInput
700 | | | | | | | | | lift2Value Term
701 | | | | | | | | | choicesBranch [(\u1 -> u1)]
702 | | | | | | | | | <branch>
703 | | | | | | | | | | catchException "fail"
704 | | | | | | | | | | <try>
705 | | | | | | | | | | | catchException "fail"
706 | | | | | | | | | | | <try>
707 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
708 | | | | | | | | | | | | <hidden>:
709 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
710 | | | | | | | | | | | | | call <hidden>
711 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
712 | | | | | | | | | | | | | call <hidden>
713 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
714 | | | | | | | | | | | | | <hidden>:
715 | | | | | | | | | | | | | | catchException "fail"
716 | | | | | | | | | | | | | | <try>
717 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
718 | | | | | | | | | | | | | | | call <hidden>
719 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
720 | | | | | | | | | | | | | | | call <hidden>
721 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
722 | | | | | | | | | | | | | | | call <hidden>
723 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
724 | | | | | | | | | | | | | | | call <hidden>
725 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
726 | | | | | | | | | | | | | | | popException "fail"
727 | | | | | | | | | | | | | | | ret
728 | | | | | | | | | | | | | | <handler>
729 | | | | | | | | | | | | | | pushInput
730 | | | | | | | | | | | | | | lift2Value Term
731 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
732 | | | | | | | | | | | | | | <branch>
733 | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
734 | | | | | | | | | | | | | | | ret
735 | | | | | | | | | | | | | | <default>
736 | | | | | | | | | | | | | | raiseException "fail"
737 | | | | | | | | | | | | | call <hidden>
738 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
739 | | | | | | | | | | | | | call <hidden>
740 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
741 | | | | | | | | | | | | | read ('=' ==)
742 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
743 | | | | | | | | | | | | | call <hidden>
744 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
745 | | | | | | | | | | | | | call <hidden>
746 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
747 | | | | | | | | | | | | | call <hidden>
748 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
749 | | | | | | | | | | | | | <hidden>:
750 | | | | | | | | | | | | | | catchException "fail"
751 | | | | | | | | | | | | | | <try>
752 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
753 | | | | | | | | | | | | | | | call <hidden>
754 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
755 | | | | | | | | | | | | | | | call <hidden>
756 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
757 | | | | | | | | | | | | | | | call <hidden>
758 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
759 | | | | | | | | | | | | | | | call <hidden>
760 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
761 | | | | | | | | | | | | | | | popException "fail"
762 | | | | | | | | | | | | | | | ret
763 | | | | | | | | | | | | | | <handler>
764 | | | | | | | | | | | | | | pushInput
765 | | | | | | | | | | | | | | lift2Value Term
766 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
767 | | | | | | | | | | | | | | <branch>
768 | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
769 | | | | | | | | | | | | | | | ret
770 | | | | | | | | | | | | | | <default>
771 | | | | | | | | | | | | | | raiseException "fail"
772 | | | | | | | | | | | | | call <hidden>
773 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
774 | | | | | | | | | | | | | call <hidden>
775 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
776 | | | | | | | | | | | | | <hidden>:
777 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> ';'))
778 | | | | | | | | | | | | | | read (';' ==)
779 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
780 | | | | | | | | | | | | | | call <hidden>
781 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
782 | | | | | | | | | | | | | | ret
783 | | | | | | | | | | | | | call <hidden>
784 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
785 | | | | | | | | | | | | | popException "fail"
786 | | | | | | | | | | | | | popException "fail"
787 | | | | | | | | | | | | | refJoin <hidden>
788 | | | | | | | | | | | | catchException "fail"
789 | | | | | | | | | | | | <try>
790 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> Term))
791 | | | | | | | | | | | | | catchException "fail"
792 | | | | | | | | | | | | | <try>
793 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
794 | | | | | | | | | | | | | | catchException "fail"
795 | | | | | | | | | | | | | | <try>
796 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'v' : ('a' : ('r' : u4))))))
797 | | | | | | | | | | | | | | | read ('v' ==)
798 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
799 | | | | | | | | | | | | | | | read ('a' ==)
800 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
801 | | | | | | | | | | | | | | | read ('r' ==)
802 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
803 | | | | | | | | | | | | | | | call <hidden>
804 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
805 | | | | | | | | | | | | | | | popException "fail"
806 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
807 | | | | | | | | | | | | | | | call <hidden>
808 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
809 | | | | | | | | | | | | | | | popException "fail"
810 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
811 | | | | | | | | | | | | | | | call <hidden>
812 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
813 | | | | | | | | | | | | | | | popException "fail"
814 | | | | | | | | | | | | | | | refJoin <hidden>
815 | | | | | | | | | | | | | | <handler>
816 | | | | | | | | | | | | | | loadInput
817 | | | | | | | | | | | | | | raiseException "fail"
818 | | | | | | | | | | | | | <handler>
819 | | | | | | | | | | | | | loadInput
820 | | | | | | | | | | | | | raiseException "fail"
821 | | | | | | | | | | | | <handler>
822 | | | | | | | | | | | | pushInput
823 | | | | | | | | | | | | lift2Value Term
824 | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
825 | | | | | | | | | | | | <branch>
826 | | | | | | | | | | | | | call <hidden>
827 | | | | | | | | | | | | | refJoin <hidden>
828 | | | | | | | | | | | | <default>
829 | | | | | | | | | | | | raiseException "fail"
830 | | | | | | | | | | | <handler>
831 | | | | | | | | | | | loadInput
832 | | | | | | | | | | | raiseException "fail"
833 | | | | | | | | | | <handler>
834 | | | | | | | | | | pushInput
835 | | | | | | | | | | lift2Value Term
836 | | | | | | | | | | choicesBranch [(\u1 -> u1)]
837 | | | | | | | | | | <branch>
838 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
839 | | | | | | | | | | | call <hidden>
840 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
841 | | | | | | | | | | | call <hidden>
842 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
843 | | | | | | | | | | | refJoin <hidden>
844 | | | | | | | | | | <default>
845 | | | | | | | | | | raiseException "fail"
846 | | | | | | | | | <default>
847 | | | | | | | | | raiseException "fail"
848 | | | | | | | | <default>
849 | | | | | | | | raiseException "fail"
850 | | | | | | | <handler>
851 | | | | | | | pushInput
852 | | | | | | | lift2Value Term
853 | | | | | | | choicesBranch [(\u1 -> u1)]
854 | | | | | | | <branch>
855 | | | | | | | | pushValue (\u1 -> u1)
857 | | | | | | | <default>
858 | | | | | | | raiseException "fail"
859 | | | | | | call <hidden>
860 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
861 | | | | | | call <hidden>
862 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
863 | | | | | | read ('}' ==)
864 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
865 | | | | | | call <hidden>
866 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
868 | | | | | call <hidden>
869 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
870 | | | | | call <hidden>
871 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
872 | | | | | popException "fail"
874 | | | | catchException "fail"
876 | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
877 | | | | | read (':' ==)
878 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
879 | | | | | call <hidden>
880 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
881 | | | | | call <hidden>
882 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
883 | | | | | popException "fail"
884 | | | | | refJoin <hidden>
887 | | | | lift2Value Term
888 | | | | choicesBranch [(\u1 -> u1)]
890 | | | | | call <hidden>
891 | | | | | refJoin <hidden>
893 | | | | raiseException "fail"
896 | | | raiseException "fail"
899 | | raiseException "fail"
903 | choicesBranch [(\u1 -> u1)]
905 | | pushValue (\u1 -> u1)
908 | raiseException "fail"
910 lift2Value (\u1 -> (\u2 -> u1 u2))
912 lift2Value (\u1 -> (\u2 -> u1 u2))
914 | lift2Value (\u1 -> (\u2 -> u1 u2))
916 catchException "fail"
918 | catchException "fail"
921 | | read (\u1 -> Term)
923 | | popException "fail"
925 | | raiseException "fail"
929 | popException "fail"
934 choicesBranch [(\u1 -> u1)]
936 | raiseException "fail"
938 raiseException "fail"