def next.open

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

import Base

1599# the next event, unless the cursor has already failed
1600def next.open(rest: String, stack: List<&2, Frame>, done: Bool, bad: Bool) -> (Ev & Cur):
1601  match bad:
1602    case True{}:
1603      (EErr{}, Cur{"", Nil{}, False{}, True{}})
1604    case False{}:
1605      next.use(next.walk(rest, S{MIdle{}, stack, GNext{}, done, False{}}))