def word.eof.place

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

import Base

574# a word that ended at the end of the text
575def word.eof.place(
576  atom: Atom,
577  cut: String,
578  nn: U32,
579  stack: List<&2, Frame>,
580  goal: Goal
581) -> St:
582  match atom:
583    case ABad{}:
584      err.st(goal)
585    case ANull{}:
586      place.val(ENull{}, "", stack, goal)
587    case ATrue{}:
588      place.val(EBool{True{}}, "", stack, goal)
589    case AFalse{}:
590      place.val(EBool{False{}}, "", stack, goal)
591    case ANum{}:
592      place.val(ENum{cut, nn}, "", stack, goal)