test/Golden/Machine/G20.expected.txt

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