Plan.lock.note: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 219-234 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=219&end_line=234

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

# what the lock amounts to. A lock that is there and does not parse is a
# problem whatever the ledger holds, since `ez fetch` refuses it, as cargo
# refuses a Cargo.lock it cannot read.
def lock.note(+deps: Nat, lk: Locked) -> Note:
  match lk:
    case Locked{+hs}:
      +wrong = lock.wrong(deps, hs)
      Note{wrong,
        DW.lockfile() ++ ": " ++ plural(List.length(&2, String, hs), "package", "packages") ++
        Bool.pick(String, wrong, " (it names none; run ez lock)", "")}
    case Unread{why}:
      Note{True{}, DW.lockfile() ++ ": " ++ why}
    case Unlocked{}:
      +wrong = lock.needs(deps)
      Note{wrong, DW.lockfile() ++ ": " ++
        Bool.pick(String, wrong, "none; run ez lock", "none, and nothing to lock")}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=Locked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=Note
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=lock.needs
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=lock.wrong
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=plural
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=lockfile