test/Golden/Machine/G10.expected.txt

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