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

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