def srcs_of

bolt@1.27.0.0 · src/lint/plan.bend:368

import Base
import bolt@1.27.0.0/src/src.bend as Src

368# every source that was read, parsed once for every rule
369def srcs_of(gs: List<&2, Got>) -> List<&2, Src.Src>:
370  match gs:
371    case Nil{}:
372      Nil{}
373    case Con{Got{_path, None{}}, rest}:
374      srcs_of(rest)
375    case Con{Got{path, Some{text}}, rest}:
376      Src.of(path, text) <> srcs_of(rest)