test/Golden/Machine/G13.expected.txt

   1 pushValue (\u1 -> (\u2 -> u2 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 |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  10 |   | <hidden>:
  11 |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
  12 |   | | call <hidden>
  13 |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
  14 |   | | call <hidden>
  15 |   | | lift2Value (\u1 -> (\u2 -> u1 u2))
  16 |   | | popException "fail"
  17 |   | | refJoin <hidden>
  18 |   | pushInput
  19 |   | read ((\u1 -> (\u2 -> u1)) Term)
  20 |   | swapValue
  21 |   | loadInput
  22 |   | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
  23 |   |   <branch>
  24 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  25 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  26 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 |   |   | refJoin <hidden>
  28 |   |   <branch>
  29 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  30 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  31 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  32 |   |   | refJoin <hidden>
  33 |   |   <branch>
  34 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  35 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  36 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  37 |   |   | refJoin <hidden>
  38 |   |   <branch>
  39 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  40 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  41 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  42 |   |   | refJoin <hidden>
  43 |   |   <branch>
  44 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  45 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  46 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  47 |   |   | refJoin <hidden>
  48 |   |   <branch>
  49 |   |   | pushValue (\u1 -> (\u2 -> cons Term))
  50 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  51 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  52 |   |   | refJoin <hidden>
  53 |   |   <branch>
  54 |   |   | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
  55 |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  56 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  57 |   |   | call <hidden>
  58 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  59 |   |   | call <hidden>
  60 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  61 |   |   | read (']' ==)
  62 |   |   | lift2Value (\u1 -> (\u2 -> u1 u2))
  63 |   |   | refJoin <hidden>
  64 |   |   <default>
  65 |   |     raiseException "fail"
  66 |   <handler>
  67 |     pushInput
  68 |     lift2Value Term
  69 |     choicesBranch [(\u1 -> u1)]
  70 |       <branch>
  71 |       | pushValue (\u1 -> u1)
  72 |       | refJoin <hidden>
  73 |       <default>
  74 |         raiseException "fail"
  75 catchException "fail"
  76   <try>
  77   | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  78   | read Term
  79   | lift2Value (\u1 -> (\u2 -> u1 u2))
  80   | call <hidden>
  81   | lift2Value (\u1 -> (\u2 -> u1 u2))
  82   | popException "fail"
  83   | refJoin <hidden>
  84   <handler>
  85     pushInput
  86     lift2Value Term
  87     choicesBranch [(\u1 -> u1)]
  88       <branch>
  89       | pushValue (\u1 -> u1)
  90       | refJoin <hidden>
  91       <default>
  92         raiseException "fail"