test/Golden/Machine/many-char-fail.dump

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