~/jendhub

def esc.put

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

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base

982# the character after a backslash, once `u` has been noticed
983def esc.put(
984  _tl: String,
985  buf: List<&2, Char>,
986  stack: List<&2, Frame>,
987  goal: Goal,
988  done: Bool,
989  got: Maybe<&2, Char>
990) -> St:
991  match got:
992    case Some{ch}:
993      S{MCopy{ch <> buf}, stack, goal, done, False{}}
994    case None{}:
995      err.st(goal)

Uses (10)

Used by (1)