def word.burst

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

import Base
import emerging-ezjson@1.3.0.0/src/value.bend as V

851# plain digits and letters in one loop. The delimiter is consed back once
852def word.burst(
853  txt: String,
854  buf: List<&2, Char>,
855  nn: U32,
856  num: V.Num,
857  stack: List<&2, Frame>,
858  goal: Goal,
859  bad: Bool
860) -> St:
861  match bad:
862    case True{}:
863      word.burst.dead(goal, word.drop(txt), buf)
864    case False{}:
865      word.burst.at(word.run(txt, WMore{buf, nn, num}), stack, goal)