test/Golden/Machine/G5.expected.txt

   1 pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
   2 <hidden>:
   3 | catchException "fail"
   4 |   <try>
   5 |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
   6 |   | read ('a' ==)
   7 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
   8 |   | read ('b' ==)
   9 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  10 |   | read ('c' ==)
  11 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  12 |   | read ('d' ==)
  13 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  14 |   | popException "fail"
  15 |   | ret
  16 |   <handler>
  17 |     loadInput
  18 |     raiseException "fail"
  19 call <hidden>
  20 lift2Value (\u1 -> (\u2 -> u1 u2))
  21 <hidden>:
  22 | catchException "fail"
  23 |   <try>
  24 |   | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  25 |   | call <hidden>
  26 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 |   | call <hidden>
  28 |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  29 |   | popException "fail"
  30 |   | ret
  31 |   <handler>
  32 |     pushInput
  33 |     lift2Value Term
  34 |     choicesBranch [(\u1 -> u1)]
  35 |       <branch>
  36 |       | pushValue (\u1 -> u1)
  37 |       | ret
  38 |       <default>
  39 |         raiseException "fail"
  40 call <hidden>
  41 lift2Value (\u1 -> (\u2 -> u1 u2))
  42 <hidden>:
  43 | lift2Value (\u1 -> (\u2 -> u1 u2))
  44 | ret
  45 catchException "fail"
  46   <try>
  47   | catchException "fail"
  48   |   <try>
  49   |   | pushInput
  50   |   | read (\u1 -> Term)
  51   |   | popValue
  52   |   | popException "fail"
  53   |   | loadInput
  54   |   | raiseException "fail"
  55   |   <handler>
  56   |     loadInput
  57   |     pushValue Term
  58   |     popException "fail"
  59   |     refJoin <hidden>
  60   <handler>
  61     pushInput
  62     lift2Value Term
  63     choicesBranch [(\u1 -> u1)]
  64       <branch>
  65       | raiseException "fail"
  66       <default>
  67         raiseException "fail"