test/Golden/Machine/G12.expected.txt

   1 pushValue (\u1 -> (\u2 -> u1 Term))
   2 <hidden>:
   3 | lift2Value (\u1 -> (\u2 -> u1 u2))
   4 | <hidden>:
   5 | | lift2Value (\u1 -> (\u2 -> u1 u2))
   6 | | ret
   7 | catchException "fail"
   8 |   <try>
   9 |   | catchException "fail"
  10 |   |   <try>
  11 |   |   | pushInput
  12 |   |   | read (\u1 -> Term)
  13 |   |   | popValue
  14 |   |   | popException "fail"
  15 |   |   | loadInput
  16 |   |   | raiseException "fail"
  17 |   |   <handler>
  18 |   |     loadInput
  19 |   |     pushValue Term
  20 |   |     popException "fail"
  21 |   |     refJoin <hidden>
  22 |   <handler>
  23 |     pushInput
  24 |     lift2Value Term
  25 |     choicesBranch [(\u1 -> u1)]
  26 |       <branch>
  27 |       | raiseException "fail"
  28 |       <default>
  29 |         raiseException "fail"
  30 catchException "fail"
  31   <try>
  32   | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  33   | read Term
  34   | lift2Value (\u1 -> (\u2 -> u1 u2))
  35   | call <hidden>
  36   | lift2Value (\u1 -> (\u2 -> u1 u2))
  37   | popException "fail"
  38   | refJoin <hidden>
  39   <handler>
  40     pushInput
  41     lift2Value Term
  42     choicesBranch [(\u1 -> u1)]
  43       <branch>
  44       | pushValue (\u1 -> u1)
  45       | refJoin <hidden>
  46       <default>
  47         raiseException "fail"