def idle.eof

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

import Base

541# the end of the text, between tokens
542def idle.eof(stack: List<&2, Frame>, goal: Goal, done: Bool, bad: Bool) -> (Stop & Cur):
543  match goal done bad:
544    case GNext{} True{} False{}:
545      (SEv{EEnd{}}, Cur{"", stack, True{}, False{}})
546    case g d b:
547      bad.cur()