~/jendhub

def run

bolt@1.26.0.0 · src/check.bend:113

import bolt@1.26.0.0/src/check.bend as Check
import Base
import bolt@1.26.0.0/src/lsp/checker/answer.bend as Checker

113# the checker over the files given, exiting 1 when any of them had an error
114# (main passes checker/bend.bend's service)
115def run(~ck: Checker.Checker, paths: List<&2, String>) -> IO(Unit):  # noqa: L001 IO driver
116  do IO<Unit>:
117    runs : List<&2, Run> <- check_all(~ck, paths)
118    perform(out(runs))

Uses (10)

Used by (1)