def names.wrong

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

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/lock.bend as L

328# every name of the lock whose file under BEND_LIB is missing, or names
329# another hash than the lock does, which bend would read instead of asking
330# the hub
331def names.wrong(ns: List<&2, L.Name>, +rs: List<&2, DW.Reply>) -> List<&2, String>:
332  match ns:
333    case []:
334      []
335    case L.Name{+nv, +hash} <> t:
336      List.append(&2, String, name.heard(DW.heard(rs, DW.Name{nv}), nv, hash), names.wrong(t, rs))