def resolved.notes

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

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/ws/moved.bend as Mv

211# the members' reports, once they were resolved
212def resolved.notes(rd: J.Read, +fs: List<&2, LW.Source>, +locked: List<&2, Mv.Held>) -> List<&2, DP.Note>:
213  match rd:
214    case J.Unread{why}:
215      [DP.Note{True{}, "workspace: " ++ why}]
216    case J.Read{+xs}:
217      members.notes(xs, dirs.of(xs), nvs.of(xs), fs, locked)