def run.from

bolt@1.27.0.0 · src/lint.bend:105

import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/lint/plan.bend as Plan
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

105# the lint from a working directory; none that can be named is fatal, as no
106# relative path could be resolved against it
107def run.from(paths: List<&2, String>, +cwd: String) -> IO(Unit):
108  Lazy.stop(IO(Unit), String.is_empty(cwd), IO.die(Unit, 1, "bolt: cannot name the working directory"),
109    _u => loop(Nat.add(Plan.limit(), 2n), W.World{paths, cwd, []}))