def word.burst.eof.raw

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

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

730# a word that ended because the text did, once its spelling is in hand
731def word.burst.eof.raw(
732  +raw: String,
733  +nn: U32,
734  num: V.Num,
735  stack: List<&2, Frame>,
736  goal: Goal
737) -> St:
738  match goal:
739    case GSkip{1n+left}:
740      word.burst.err(goal, word.drop(raw))
741    case GNext{}:
742      word.eof.place(word.kind(raw, nn, num), raw, nn, stack, goal)
743    case GSkip{0n}:
744      word.eof.place(word.kind(raw, nn, num), raw, nn, stack, goal)