def word.burst.stop

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

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base
import emerging-ezjson@1.3.0.0/src/value.bend as V
import emerging-ezjson@1.3.0.0/src/lex.bend as Lex

822# a word ended on a delimiter. Its spelling is its own text
823def word.burst.stop(
824  rest: String,
825  ch: Char,
826  buf: List<&2, Char>,
827  nn: U32,
828  num: V.Num,
829  stack: List<&2, Frame>,
830  goal: Goal
831) -> St:
832  word.burst.raw(rest, ch, Lex.text(buf), nn, num, stack, goal)

Uses (10)

Used by (1)