def notes.of

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

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

821# every line doctor says, in order: the toolchain, the ledger, the lock, the
822# library, the lock check, and last the drift report over the sources as they
823# were heard
824def notes.of(
825  +ledger: M.Read,
826  got: DW.Heard,
827  +cc: String,
828  +lib: String,
829  lock: Maybe<&2, String>,
830  +rs: List<&2, DW.Reply>,
831  cs: List<&2, Note>
832) -> List<&2, Note>:
833  List.append(&2, Note, head.notes(ledger, cc, lib, lock, rs, cs), imports.notes(ledger, got))