bolt/check.bend relies on unsafe/foreign

raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/check.bend as Check

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.

5 imports

import Base
import ./status.bend as Status
import ./lsp/report.bend as Rep
import ./lsp/checker/service.bend as Checker
import ./lsp/checker/bend.bend as BendChecker

Definitions

def rest_lines source · line 11 · raw

@ls:List<&2, String> -> String

a message's lines after the first, indented

def message.of source · line 19 · raw

@ls:List<&2, String> -> String

a message's lines: the first, then the rest indented

def message source · line 27 · raw

@msg:String -> String

a message: its first line, the rest indented

def show_all source · line 31 · raw

@ds:List<&2, 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/report.Diag> -> @+path:String -> List<&2, String>

each diagnostic as a line

def print_all source · line 39 · raw

@lines:List<&2, String> -> IO(Unit)

each line printed

def summary source · line 62 · raw

@+n:U32 -> String

clean, or the count

def run source · line 67 · raw

@paths:List<&2, String> -> IO(Unit)

the checker over the files given, exiting 1 when any of them had an error

Templates

template check_all source · line 49 · raw

@-ck:0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/service.Checker -> @paths:List<&2, String> -> IO(U32)

every file checked and its errors printed; how many there were