def run

bend-lint-pack@0.1.1.0 · dead/def.bend:186

import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common

186def run(input: Lint.Input) -> IO(List<&2, Lint.Diag>):
187  match input:
188    case Lint.Input{+sources, +options}:
189      do IO<List<&2, Lint.Diag>>:
190        g : Common.Graph <- Lint.fold_facts(~Common.Graph, ~Common.Graph.collect, Common.Graph.empty())
191        p : Common.Prog <- Common.Prog.of(sources, g)
192        return verdict(
193          p,
194          Lint.option_text(options, "entries", ""),
195          Common.Scope.of(sources, options)
196        )