test/Golden/Machine/many-char-eof.dump

   1 push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) Pure)
   2 name_1:
   3 | catchFail
   4 |   <try>
   5 |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'r'))
   6 |   | read
   7 |   | lift (\x0 -> (\x1 -> x0 x1))
   8 |   | call name_1
   9 |   | lift (\x0 -> (\x1 -> x0 x1))
  10 |   | popFail
  11 |   | ret
  12 |   <handler>
  13 |     pushInput
  14 |     lift Pure
  15 |     choices [id]
  16 |       <branch>
  17 |       | push (\x0 -> x0)
  18 |       | ret
  19 |       <default>
  20 |         fail
  21 call name_1
  22 lift (\x0 -> (\x1 -> x0 x1))
  23 join_55:
  24 | lift (\x0 -> (\x1 -> x0 x1))
  25 | ret
  26 catchFail
  27   <try>
  28   | catchFail
  29   |   <try>
  30   |   | pushInput
  31   |   | read
  32   |   | pop
  33   |   | popFail
  34   |   | loadInput
  35   |   | fail
  36   |   <handler>
  37   |     loadInput
  38   |     push ()
  39   |     popFail
  40   |     refJoin join_55
  41   <handler>
  42     pushInput
  43     lift Pure
  44     choices [id]
  45       <branch>
  46       | fail
  47       <default>
  48         fail