~/jendhub

def place.val.on.here

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

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

291# a value has landed on the suffix in hand, once the slot is known
292def place.val.on.here(ev: Ev, goal: Goal, spot: Spot) -> St:
293  match spot:
294    case SpotBad{}:
295      err.st(goal)
296    case Spot{stack, root}:
297      place.val.ok.here(ev, goal, stack, root)

Uses (6)

Used by (1)