def sk.advance

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

import Base

931# the next state after one character of a string being skipped
932def sk.advance(key: Skind, stack: List<&2, Frame>, goal: Goal, done: Bool) -> St:
933  match key:
934    case KGo{}:
935      S{MSkStr{}, stack, goal, done, False{}}
936    case KEnd{}:
937      str.skip.here(stack, goal)
938    case KEsc{}:
939      S{MSkEsc{}, stack, goal, done, False{}}
940    case KBad{}:
941      err.st(goal)