Pull.word.burst.eof.raw: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
Lines 730-744 of emerging-ezjson@1.3.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&start_line=730&end_line=744

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

# a word that ended because the text did, once its spelling is in hand
def word.burst.eof.raw(
  +raw: String,
  +nn: U32,
  num: V.Num,
  stack: List<&2, Frame>,
  goal: Goal
) -> St:
  match goal:
    case GSkip{1n+left}:
      word.burst.err(goal, word.drop(raw))
    case GNext{}:
      word.eof.place(word.kind(raw, nn, num), raw, nn, stack, goal)
    case GSkip{0n}:
      word.eof.place(word.kind(raw, nn, num), raw, nn, stack, goal)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Goal
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.burst.err
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.drop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.eof.place
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.kind
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Num