test/Golden/Machine/a-or-b.dump

   1 catchFail
   2   <try>
   3   | push (\u1 -> 'a')
   4   | read ('a' ==)
   5   | lift (\u1 -> (\u2 -> u1 u2))
   6   | popFail
   7   | ret
   8   <handler>
   9     pushInput
  10     lift Term
  11     choices [(\u1 -> u1)]
  12       <branch>
  13       | push (\u1 -> 'b')
  14       | read ('b' ==)
  15       | lift (\u1 -> (\u2 -> u1 u2))
  16       | ret
  17       <default>
  18         fail