test/Golden/Machine/G4.expected.txt

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