def run_of

bolt@1.26.0.0 · src/check.bend:87

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

87# a file's run, from the checker's answer for it
88def run_of(path: String, aa: Checker.Answer) -> Run:
89  match aa:
90    case Checker.Checked{ds}:
91      Run{path, ds}
92    case Checker.Unrun{}:
93      Failed{path}