def lines_of

bolt@1.26.0.0 · src/check.bend:51

import Base

51# every run's error lines, in order
52def lines_of(runs: List<&2, Run>) -> List<&2, String>:
53  match runs:
54    case Nil{}:
55      Nil{}
56    case Con{Run{path, ds}, rest}:
57      List.append(&2, String, show_all(ds, path), lines_of(rest))
58    case Con{Failed{path}, rest}:
59      (path ++ ":1:1: error: could not run bend") <> lines_of(rest)