test/Golden/Machine/eof.dump

   1 catchFail
   2   <try>
   3   | catchFail
   4   |   <try>
   5   |   | pushInput
   6   |   | read (\u1 -> Term)
   7   |   | pop
   8   |   | popFail
   9   |   | loadInput
  10   |   | fail
  11   |   <handler>
  12   |     loadInput
  13   |     push Term
  14   |     popFail
  15   |     ret
  16   <handler>
  17     pushInput
  18     lift Term
  19     choices [(\u1 -> u1)]
  20       <branch>
  21       | fail
  22       <default>
  23         fail