def only_todos

bolt@1.27.0.0 · src/lsp/checker/argv.bend:23

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

23# only the open-laws report ("1 TODO found", "N TODOs found"), and nothing
24# else
25def only_todos(ds: List<&2, Rep.Diag>) -> Bool:
26  match ds:
27    case Con{Rep.Diag{line, +msg}, Nil{}}:
28      Bool.or(String.contains(msg, "TODO found"), String.contains(msg, "TODOs found"))
29    case other:
30      False{}