def head.notes

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

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

805# the toolchain, the ledger, the lock and the library, each on its line, and
806# the lock check's line after them
807def head.notes(
808  +ledger: M.Read,
809  +cc: String,
810  +lib: String,
811  +lock: Maybe<&2, String>,
812  +rs: List<&2, DW.Reply>,
813  cs: List<&2, Note>
814) -> List<&2, Note>:
815  +lk = locked.of(lock)
816  List.append(&2, Note, probes(programs(cc), rs),
817    List.append(&2, Note,
818      [ledger.note(ledger), lock.note(deps.count(ledger), lk),
819        lib.note(lib.at(lib), locked.hashes(lk), lock.names(lock), rs)], cs))