def word.burst.eof.at

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

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

746# the empty suffix of an eof is dropped, then the word is placed
747def word.burst.eof.at(
748  dropped: Bool,
749  buf: List<&2, Char>,
750  nn: U32,
751  num: V.Num,
752  stack: List<&2, Frame>,
753  goal: Goal
754) -> St:
755  match dropped:
756    case d:
757      word.burst.eof.raw(Lex.text(buf), nn, num, stack, goal)