def show_all

bolt@1.26.0.0 · src/check.bend:33

import Base
import bolt@1.26.0.0/src/lsp/report.bend as Rep

33# each diagnostic as a line
34def show_all(ds: List<&2, Rep.Diag>, +path: String) -> List<&2, String>:
35  match ds:
36    case Nil{}:
37      Nil{}
38    case Con{Rep.Diag{line, msg}, rest}:
39      (path ++ ":" ++ U32.show((line + 1 : U32)) ++ ":1: error: " ++ message(msg)) <> show_all(rest, path)