test/Golden/Machine/G3.expected.txt

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