def names.wants.bad

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

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

1311def names.wants.bad(
1312  clean: Bool,
1313  +led: M.Read,
1314  listing: W.Listing,
1315  +ns: List<&2, L.Name>,
1316  +js: List<&2, W.Judged>,
1317  packs: List<&2, L.Pack>
1318) -> List<&2, W.Ask>:
1319  match clean:
1320    case True{}:
1321      names.ask(M.hub_of(led), js,
1322        names.open(ns, js, roots.named(listing.files(listing)), packs.named(js, packs)))
1323    case False{}:
1324      []