~/jendhub

def pub.checked

bolt@1.27.0.0 · src/lsp/server.bend:254

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/role.bend as Role
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

254# open or save: the checker's errors with the lint of the text, the errors
255# kept for the changes after
256def pub.checked(
257  ee: Enc.Enc,
258  +uri: String,
259  +text: String,
260  +ds: List<&2, Rep.Diag>,
261  rs: List<&2, Maybe<&2, String>>,
262  +ms: List<&2, Role.Mark>,
263  +docs: List<&2, Docs.Doc>
264) -> Work:
265  noted([pub.note(Enc.cols(ee, text), uri, ds, pub.lint(Proto.path(uri), text, rs, ms))],
266    Docs.set_checked(docs, uri, ds, ms))

Uses (14)

Used by (2)