def word.burst.goal

emerging-ezjson@1.3.0.0 · src/pull.bend:764

import Base

764# a value landed on the delimiter. The suffix is consed back once, not copied.
765# The number keeps its own spelling, so it does not hold the rest of the array
766def word.burst.goal(
767  ev: Ev,
768  ch: Char,
769  rest: String,
770  stack: List<&2, Frame>,
771  goal: Goal
772) -> St:
773  match goal:
774    case GNext{}:
775      place.val(ev, SCon{ch, rest}, stack, goal)
776    case GSkip{0n}:
777      place.val(ev, SCon{ch, rest}, stack, goal)
778    case GSkip{1n+left}:
779      word.burst.skip(rest, ch, stack, goal)