def lock.wrong

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

import Base

209# whether the lock is a problem: it names no package while the ledger has
210# dependencies it should have resolved. A project with no dependencies has
211# nothing to lock, so a lock naming nothing, or no lock at all, is its due.
212def lock.wrong(deps: Nat, hs: List<&2, String>) -> Bool:
213  match hs:
214    case []:
215      lock.needs(deps)
216    case _h <> _t:
217      False{}