def on.at

bolt@1.27.0.0 · src/rules.bend:60

import Base
import bolt@1.27.0.0/src/finding.bend as F

60# findings put at a path: a per-file rule reports on its own file, so this
61# keeps what each rule gave and makes it hold by construction
62def on.at(+path: String, fs: List<&2, F.Finding>) -> List<&2, F.Finding>:
63  match fs:
64    case Nil{}:
65      Nil{}
66    case Con{F.Finding{_path, line, col, len, rule, msg}, rest}:
67      F.Finding{path, line, col, len, rule, msg} <> on.at(path, rest)