def name.valid

ezx@1.11.0.0 · src/fetch/plan.bend:577

import Base
import ezx@1.11.0.0/src/fetch/world.bend as F

577# a name bend would read back is looked for under BEND_LIB; any other stops
578# the fetch, since the file laid for it would not be the one bend reads
579def name.valid(ok: Bool, +rs: List<&2, F.Reply>, +nv: String, +hash: String) -> Nm:
580  match ok:
581    case True{}:
582      name.heard(F.heard(rs, F.Named{nv}), nv, hash)
583    case False{}:
584      NmStop{"ez: the lock names " ++ nv ++ " as " ++ hash ++
585        ", which bend would not read back; run ez lock"}