def errors

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

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

12# an answer's diagnostics: none when bend could not be run
13def errors(aa: Answer) -> List<&2, Rep.Diag>:
14  match aa:
15    case Checked{ds}:
16      ds
17    case Unrun{}:
18      []