Report.diags: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lsp/report.bend as Report Lines 159-165 of bolt@1.27.0.0/src/lsp/report.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/report.bend&start_line=159&end_line=165 import Base # every error placed def diags(rs: List<&2, Raw>, +names: Maybe<&2, List<&2, String>>) -> List<&2, Diag>: match rs: case Nil{}: [] case Con{rr, rest}: diag(names, rr) <> diags(rest, names) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Raw https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=diag