test/Golden/Machine/string.dump

   1 catchFail
   2   <try>
   3   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
   4   | read ('a' ==)
   5   | lift (\u1 -> (\u2 -> u1 u2))
   6   | read ('b' ==)
   7   | lift (\u1 -> (\u2 -> u1 u2))
   8   | read ('c' ==)
   9   | lift (\u1 -> (\u2 -> u1 u2))
  10   | read ('d' ==)
  11   | lift (\u1 -> (\u2 -> u1 u2))
  12   | popFail
  13   | ret
  14   <handler>
  15     loadInput
  16     fail