test/Golden/Machine/G9.expected.txt

   1 catchException "fail"
   2   <try>
   3   | catchException "fail"
   4   |   <try>
   5   |   | pushInput
   6   |   | read (\u1 -> Term)
   7   |   | popValue
   8   |   | popException "fail"
   9   |   | loadInput
  10   |   | raiseException "fail"
  11   |   <handler>
  12   |     loadInput
  13   |     pushValue Term
  14   |     popException "fail"
  15   |     ret
  16   <handler>
  17     pushInput
  18     lift2Value Term
  19     choicesBranch [(\u1 -> u1)]
  20       <branch>
  21       | raiseException "fail"
  22       <default>
  23         raiseException "fail"