test/Golden/Machine/G2.expected.txt

   1 catchException "fail"
   2   <try>
   3   | pushValue (\u1 -> (\u2 -> (\u3 -> 'a' : ('b' : ('c' : Term)))))
   4   | read ('a' ==)
   5   | lift2Value (\u1 -> (\u2 -> u1 u2))
   6   | read ('b' ==)
   7   | lift2Value (\u1 -> (\u2 -> u1 u2))
   8   | read ('c' ==)
   9   | lift2Value (\u1 -> (\u2 -> u1 u2))
  10   | popException "fail"
  11   | ret
  12   <handler>
  13     loadInput
  14     raiseException "fail"