def skip.open

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

import Base

1619# drop one value, unless the cursor has already failed or the root is over
1620def skip.open(rest: String, stack: List<&2, Frame>, done: Bool, bad: Bool) -> Cur:
1621  match done bad:
1622    case d True{}:
1623      Cur{"", Nil{}, False{}, True{}}
1624    case True{} False{}:
1625      Cur{"", Nil{}, False{}, True{}}
1626    case False{} False{}:
1627      skip.use(next.walk(rest, S{MIdle{}, stack, GSkip{0n}, False{}, False{}}))