def check

bolt@1.27.0.0 · src/lsp/checker/bend.bend:53

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as S
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
import bolt@1.27.0.0/src/lsp/checker/names.bend as Names
import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk

53# bend's report on the file, its errors placed by the names of the file's
54# items (read from the file bend read; unknown when it cannot be read)
55def check(+path: String) -> IO(S.Answer):  # noqa: L001 checker effect
56  do IO<S.Answer>:
57    text : String <- launch(Argv.run_of(path))
58    src : Maybe<&2, String> <- Disk.read(path)
59    settled(S.answer(Names.of(src), text), path)