def check_all

bolt@1.26.0.0 · src/check.bend:95

import Base
import bolt@1.26.0.0/src/lsp/checker/answer.bend as Checker

95# every file checked, in order: what bend reported for each
96def check_all(~ck: Checker.Checker, paths: List<&2, String>) -> IO(List<&2, Run>):  # noqa: L001 IO driver
97  match paths:
98    case Nil{}:
99      IO.pure(List<&2, Run>, [])
100    case Con{+path, rest}:
101      do IO<List<&2, Run>>:
102        aa : Checker.Answer <- Checker.check(ck, path)
103        more : List<&2, Run> <- check_all(~ck, rest)
104        return run_of(path, aa) <> more