def walk.of

ezx@1.11.0.0 · src/lock/plan.bend:263

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/ledger/manifest.bend as M

263# the walk from every committed source: every package they import by hash,
264# and every one they import by a name the table resolves. A listing git
265# could not give is a walk refused before its first step.
266def walk.of(+led: M.Read, listing: W.Listing, +ns: List<&2, L.Name>, +js: List<&2, W.Judged>) -> Walk:
267  match listing:
268    case W.Unlisted{why}:
269      Walk{[], [], [], why}
270    case W.Listed{+fs}:
271      walk(walk.fuel(List.append(&2, String, roots(fs), L.name.hashes(ns, roots.named(fs))), ns, js),
272        L.ledger.read(led), ns, js,
273        Walk{List.append(&2, String, roots(fs), L.name.hashes(ns, roots.named(fs))), [], [], ""})