~/jendhub

def sk.esc.put

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

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

1262# a decoded short escape puts the skip back in the string
1263def sk.esc.put(
1264  _tl: String,
1265  stack: List<&2, Frame>,
1266  goal: Goal,
1267  done: Bool,
1268  got: Maybe<&2, Char>
1269) -> St:
1270  match got:
1271    case Some{ch}:
1272      S{MSkStr{}, stack, goal, done, False{}}
1273    case None{}:
1274      err.st(goal)

Uses (10)

Used by (1)