def run

ezx@1.11.0.0 · src/doctor/run.bend:137

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ws/run.bend as WsRun
import ezx@1.11.0.0/src/ws/doctor.bend as WsDoc

137# `ez doctor`: the toolchain and the project, reported on
138def run() -> IO(Unit):
139  do IO<Unit>:
140    cc : String <- var("CC")
141    +lib : String <- var("BEND_LIB")
142    own : Maybe<&2, String> <- F.read(DW.toml())
143    dd : WsDoc.Doctored <- WsRun.doctor.ledger(own)
144    lk : Maybe<&2, String> <- F.read(DW.lockfile())
145    run.doctored(dd, cc, lib, lk)