def settle

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

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/report.bend as Rep

30# the first report, settled by the run that follows it (a LAWS.bend's
31# PROOF.bend), when argv.bend gives one
32def settle(mr: Maybe<&2, Argv.Run>, +ds: List<&2, Rep.Diag>) -> IO(S.Answer):  # noqa: L001 checker effect
33  match mr:
34    case None{}:
35      IO.pure(S.Answer, S.Checked{ds})
36    case Some{rr}:
37      do IO<S.Answer>:
38        text : String <- launch(rr)
39        return S.proved(S.answer(None{}, text), ds)