Answer.answer.tag: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lsp/checker/answer.bend as Answer Lines 29-39 of bolt@1.27.0.0/src/lsp/checker/answer.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&start_line=29&end_line=39 import Base import bolt@1.27.0.0/src/lsp/report.bend as Rep # the answer a tag gives: bend ran (`r`), a signal killed it (`s`), or # neither, and it could not be run; each error placed by the checked file's # names, when they are known def answer.tag(ran: Bool, killed: Bool, names: Maybe<&2, List<&2, String>>, text: String) -> Answer: match ran killed: case True{} _k: Checked{Rep.parse_in(names, text)} case False{} True{}: died(Rep.parse_in(names, text)) case False{} False{}: Unrun{} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=died https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=parse_in