def errors

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

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/lsp/report.bend as Rep

23# the checker's errors for a document, none when it is not open
24def errors(docs: List<&2, Doc>, +uri: String) -> List<&2, Rep.Diag>:
25  match docs:
26    case Nil{}:
27      Nil{}
28    case Con{Doc{u, t, e, m}, r}:
29      Lazy.stop(List<&2, Rep.Diag>, String.eq(u, uri), e, _u => errors(r, uri))