def doc.bad

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

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

645# a refusal wins over everything after it
646def doc.bad(
647  clean: Bool,
648  +bad: String,
649  asks: List<&2, String>,
650  +led: M.Read,
651  listing: W.Listing,
652  +ns: List<&2, L.Name>,
653  +js: List<&2, W.Judged>,
654  +packs: List<&2, L.Pack>
655) -> Doc:
656  match clean:
657    case True{}:
658      +fs = listing.files(listing)
659      +need = List.append(&2, String, roots.named(fs), packs.named(js, packs))
660      +why = names.why(L.ledger.names(led), ns, js, roots.named(fs), need)
661      doc.named(String.is_empty(why), why, asks, ns, need, M.hub_of(led), packs,
662        M.tools_of(led))
663    case False{}:
664      Stop{bad}