def sources.notes

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

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

501# the report, once the sources were asked for
502def sources.notes(got: DW.Heard, +ds: List<&2, M.Dep>) -> List<&2, Note>:
503  match got:
504    case DW.Heard{a}:
505      match a:
506        case DW.Listed{l}:
507          listing.notes(l, ds)
508        case _:
509          [Note{True{}, "imports: the sources were not read"}]
510    case DW.Open{}:
511      [Note{True{}, "imports: the sources were not read"}]