test/Golden/Machine/G5.expected.txt

   1 pushValue (\u1 -> (\u2 -> (\u3 -> 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   | | <hidden>:
  18   | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  19   | | | ret
  20   | | catchException "fail"
  21   | |   <try>
  22   | |   | catchException "fail"
  23   | |   |   <try>
  24   | |   |   | pushInput
  25   | |   |   | read (\u1 -> Term)
  26   | |   |   | popValue
  27   | |   |   | popException "fail"
  28   | |   |   | loadInput
  29   | |   |   | raiseException "fail"
  30   | |   |   <handler>
  31   | |   |     loadInput
  32   | |   |     pushValue Term
  33   | |   |     popException "fail"
  34   | |   |     refJoin <hidden>
  35   | |   <handler>
  36   | |     pushInput
  37   | |     lift2Value Term
  38   | |     choicesBranch [(\u1 -> u1)]
  39   | |       <branch>
  40   | |       | raiseException "fail"
  41   | |       <default>
  42   | |         raiseException "fail"
  43   | catchException "fail"
  44   |   <try>
  45   |   | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  46   |   | call <hidden>
  47   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  48   |   | call <hidden>
  49   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  50   |   | popException "fail"
  51   |   | refJoin <hidden>
  52   |   <handler>
  53   |     pushInput
  54   |     lift2Value Term
  55   |     choicesBranch [(\u1 -> u1)]
  56   |       <branch>
  57   |       | pushValue (\u1 -> u1)
  58   |       | refJoin <hidden>
  59   |       <default>
  60   |         raiseException "fail"
  61   <handler>
  62     loadInput
  63     raiseException "fail"