test/Golden/Machine/some-string.dump

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