def check.go

bolt@1.27.0.0 · src/rules/laws/law.bend:144

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/rules/digest.bend as Digest

144# every file not exempt, against what the laws reach
145def check.go(ds: List<&2, Digest.Digest>, +cl: List<&2, String>) -> List<&2, F.Finding>:
146  match ds:
147    case Nil{}:
148      Nil{}
149    case Con{Digest.Digest{path, +norm, dir, is_laws, is_law_file, exempt, tops, says, deps, laws}, rest}:
150      +more = check.go(rest, cl)
151      Lazy.stop(List<&2, F.Finding>, exempt, more,
152        _u => List.append(&2, F.Finding, gaps(tops, cl, norm, path), more))