~/jendhub

def str.skip.here

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

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

331# a skipped string closed on the suffix in hand
332def str.skip.here(stack: List<&2, Frame>, goal: Goal) -> St:
333  match goal:
334    case GNext{}:
335      err.st(goal)
336    case GSkip{depth}:
337      str.place.here(POwn{""}, stack, goal)

Uses (7)

Used by (1)