test/Golden/Machine/G11.expected.txt

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