test/Golden/Machine/G7.expected.txt

   1 catchException "fail"
   2   <try>
   3   | catchException "fail"
   4   |   <try>
   5   |   | pushValue (\u1 -> (\u2 -> 'a' : ('a' : Term)))
   6   |   | read ('a' ==)
   7   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
   8   |   | read ('a' ==)
   9   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  10   |   | popException "fail"
  11   |   | popException "fail"
  12   |   | ret
  13   |   <handler>
  14   |     loadInput
  15   |     raiseException "fail"
  16   <handler>
  17     pushInput
  18     lift2Value Term
  19     choicesBranch [(\u1 -> u1)]
  20       <branch>
  21       | catchException "fail"
  22       |   <try>
  23       |   | pushValue (\u1 -> (\u2 -> 'a' : ('b' : Term)))
  24       |   | read ('a' ==)
  25       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  26       |   | read ('b' ==)
  27       |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  28       |   | popException "fail"
  29       |   | ret
  30       |   <handler>
  31       |     loadInput
  32       |     raiseException "fail"
  33       <default>
  34         raiseException "fail"