def set_checked

bolt@1.27.0.0 · src/lsp/docs.bend:51

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

51# a document's errors set, from a run of the checker, with the marks read
52# beside it
53def set_checked(
54  +docs: List<&2, Doc>,
55  +uri: String,
56  errors: List<&2, Rep.Diag>,
57  ms: List<&2, Role.Mark>
58) -> List<&2, Doc>:
59  Doc{uri, Maybe.default(&2, String, get(docs, uri), ""), errors, ms} <> del(docs, uri)