def fresh.named

ezx@1.11.0.0 · src/doctor/plan.bend:666

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/lock/world.bend as W

666# the lock, once every name the lock planner asks about is known: when none
667# is left, what it decided; when some are, their files are not under
668# BEND_LIB, and doctor does not ask the hub for them
669def fresh.named(as: List<&2, W.Ask>, +lw: W.World, +text: String) -> Note:
670  match as:
671    case []:
672      fresh.doc(P.decide(W.inputs(lw)), text)
673    case h <> t:
674      Note{True{}, DW.lockfile() ++ ": not checked, since BEND_LIB lacks names/" ++
675        String.join(ask.hashes(h <> t), " names/") ++ " and doctor does not use the network"}