def fresh.away

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

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

677# the lock, once every question the lock planner asks is known: when none is
678# left, its names, then what it decided; when some are, they are about
679# packages BEND_LIB does not hold, and doctor does not ask the network for
680# them
681def fresh.away(as: List<&2, W.Ask>, +lw: W.World, +text: String) -> Note:
682  match as:
683    case []:
684      fresh.named(P.wants.names(lw), lw, text)
685    case h <> t:
686      Note{True{}, DW.lockfile() ++ ": not checked, since BEND_LIB lacks " ++
687        String.join(ask.hashes(h <> t), " ") ++ " and doctor does not use the network"}