~/jendhub

def followup

bolt@1.27.0.0 · src/lsp/checker/argv.bend:36

import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
import Base
import bolt@1.27.0.0/src/paths.bend as Paths
import bolt@1.27.0.0/src/lsp/report.bend as Rep

36# By convention LAWS.bend states its laws as open claims and PROOF.bend, beside
37# it, fills them: alone, LAWS.bend always has TODOs. They are an error only
38# while PROOF.bend does not check clean, so a first report that is only the
39# open laws of a LAWS.bend is followed by a run on that PROOF.bend
40def followup(+ds: List<&2, Rep.Diag>, +path: String) -> Maybe<&2, Run>:
41  Bool.pick(Maybe<&2, Run>, Bool.and(only_todos(ds), Paths.is_laws(path)), Some{run_of(proof_path(path))}, None{})

Uses (11)

Used by (1)