def sources.notes

ezx@1.11.0.0 · src/ws/doctor.bend:232

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ws/joint.bend as J

232# the members' reports, once the sources were asked for
233def sources.notes(got: DW.Heard, +text: String, +found: List<&2, J.Found>, +lock: String) -> List<&2, DP.Note>:
234  match got:
235    case DW.Heard{a}:
236      match a:
237        case DW.Listed{l}:
238          listing.notes(l, text, found, lock)
239        case _:
240          [DP.Note{True{}, "imports: the sources were not read"}]
241    case DW.Open{}:
242      [DP.Note{True{}, "imports: the sources were not read"}]