bolt/check.bend source

bolt/check.bend on the hub · documented module

# bolt/check: `bolt check file..`: the checker (`bend`) on each file, its# errors in bolt's shape, `path:line:1: error: message` (bend reports no# column; a message's further lines are indented under it), then the count.import Baseimport ./status.bend as Statusimport ./lsp/report.bend as Repimport ./lsp/checker/service.bend as Checkerimport ./lsp/checker/bend.bend as BendChecker# a message's lines after the first, indenteddef rest_lines(ls: List<&2, String>) -> String:  match ls:    case Nil{}:      ""    case Con{l, t}:      "\n  " ++ l ++ rest_lines(t)# a message's lines: the first, then the rest indenteddef message.of(ls: List<&2, String>) -> String:  match ls:    case Nil{}:      ""    case Con{h, t}:      h ++ rest_lines(t)# a message: its first line, the rest indenteddef message(msg: String) -> String:  message.of(String.lines(msg))# each diagnostic as a linedef show_all(ds: List<&2, Rep.Diag>, +path: String) -> List<&2, String>:  match ds:    case Nil{}:      Nil{}    case Con{Rep.Diag{line, msg}, rest}:      (path ++ ":" ++ U32.show((line + 1 : U32)) ++ ":1: error: " ++ message(msg)) <> show_all(rest, path)# each line printeddef print_all(lines: List<&2, String>) -> IO(Unit):  match lines:    case Nil{}:      IO.pure(Unit, Unit{})    case Con{l, t}:      do IO<Unit>:        IO.print(l)        print_all(t)# every file checked and its errors printed; how many there weredef check_all(~ck: Checker.Checker, paths: List<&2, String>) -> IO(U32):  match paths:    case Nil{}:      IO.pure(U32, 0)    case Con{+path, rest}:      do IO<U32>:        ds : List<&2, Rep.Diag> <- Checker.check(ck, path)        +shown : List<&2, String> = show_all(ds, path)        print_all(shown)        more : U32 <- check_all(~ck, rest)        return (U32.from_nat(List.length(&2, String, shown)) + more : U32)# `clean`, or the countdef summary(+n: U32) -> String:  Bool.pick(String, U32.is_eq(n, 0), "clean",    U32.show(n) ++ Bool.pick(String, U32.is_eq(n, 1), " error", " errors") ++ ", 0 warnings")# the checker over the files given, exiting 1 when any of them had an errordef run(paths: List<&2, String>) -> IO(Unit):  do IO<Unit>:    +n : U32 <- check_all(~BendChecker.new(), paths)    IO.print(summary(n))    Status.stop(U32.is_gt(n, 0))