def tail.pick

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

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

247# what the doctor says after the toolchain, the ledger, the lock, the
248# library and the lock check: why the joint ledger could not be made, or else
249# every member's report
250def tail.pick(
251  fine: Bool,
252  +why: String,
253  +text: String,
254  +found: List<&2, J.Found>,
255  +world: DW.World
256) -> List<&2, DP.Note>:
257  match fine:
258    case True{}:
259      sources.notes(DW.heard(DW.replies(world), DW.Sources{}), text, found, DP.lock.text(DW.lock(world)))
260    case False{}:
261      [DP.Note{True{}, why}]