def findings

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

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/finding.bend as Lint
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

95# findings as JSON
96def findings(gs: List<&2, Lint.Graded>, +cc: Enc.Cols) -> List<&2, J.Json>:
97  match gs:
98    case Nil{}:
99      Nil{}
100    case Con{g, t}:
101      finding(cc, g) <> findings(t, cc)