def step.pick

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

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

115# a hash already resolved, or already asked about, is passed over
116def step.pick(
117  seen: Bool,
118  +orgs: List<&2, L.Origin>,
119  +ns: List<&2, L.Name>,
120  +js: List<&2, W.Judged>,
121  +hash: String,
122  rest: List<&2, String>,
123  packs: List<&2, L.Pack>,
124  asks: List<&2, String>,
125  bad: String
126) -> Walk:
127  match seen:
128    case True{}:
129      Walk{rest, packs, asks, bad}
130    case False{}:
131      step.look(look(js, hash), ns, L.origin(orgs, hash), hash, rest, packs, asks, bad)