Lint.run.from: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint.bend as Lint
Lines 105-109 of bolt@1.27.0.0/src/lint.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint.bend&start_line=105&end_line=109

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

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=limit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint.bend&name=loop