def jump.unless.done

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

import Base

722# a state that already stopped drops `rest`. Anything else resumes on it
723def jump.unless.done(+rest: String, st: St) -> St:
724  match st:
725    case S{MDone{stop, saved}, stack, goal, done, bad}:
726      jump.keep(word.drop(rest), S{MDone{stop, saved}, stack, goal, done, bad})
727    case S{mode, stack, goal, done, bad}:
728      S{MJump{rest, mode}, stack, goal, done, bad}