def died

bolt@1.27.0.0 · src/lsp/checker/answer.bend:20

import Base
import bolt@1.27.0.0/src/lsp/report.bend as Rep

20# a run a signal cut short: what bend reported before it died, or, when that
21# is nothing, no check at all
22def died(ds: List<&2, Rep.Diag>) -> Answer:
23  match ds:
24    case Nil{}:
25      Unrun{}
26    case Con{dd, rest}:
27      Checked{dd <> rest}