test/Golden/Machine/G6.expected.txt

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