def answer.tag

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

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

29# the answer a tag gives: bend ran (`r`), a signal killed it (`s`), or
30# neither, and it could not be run; each error placed by the checked file's
31# names, when they are known
32def answer.tag(ran: Bool, killed: Bool, names: Maybe<&2, List<&2, String>>, text: String) -> Answer:
33  match ran killed:
34    case True{} _k:
35      Checked{Rep.parse_in(names, text)}
36    case False{} True{}:
37      died(Rep.parse_in(names, text))
38    case False{} False{}:
39      Unrun{}