~/jendhub

def diagnostics

bolt@1.27.0.0 · src/lsp/proto.bend:73

import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

73# diagnostics as JSON
74def diagnostics(ds: List<&2, Rep.Diag>, +cc: Enc.Cols) -> List<&2, J.Json>:
75  match ds:
76    case Nil{}:
77      Nil{}
78    case Con{d, t}:
79      diagnostic(cc, d) <> diagnostics(t, cc)

Uses (5)

Used by (1)