src/doctor/run.bend source

src/doctor/run.bend on the hub · documented module

# doctor/run: the interpreter for `ez doctor`. It reads `$CC`, `$BEND_LIB`,# the ledger's text and the lock's text into a World, then loops: it asks# the planner (doctor/plan.bend) what is still open, answers each question,# and adds the answers to the World, until nothing is left to ask. Then it# runs the planner's plan with the lock's effect runner (`Run.exec.plan`),# which prints each line and exits 1 when the plan fails the command.## A version question runs the program with `--version`, except bend, which# is asked through run/bend since it has answered the question two ways over# its versions. The library is listed with `ls`, the sources are read as# `ez lock` reads them (`Run.read.listing`), and a package's tree is read# from under BEND_LIB as `ez lock` reads one there (`Run.disk.all`), and# never fetched, and a name's file under `BEND_LIB/names` is read as it# is. None of these writes anything, and the plan writes nothing either. It# decides nothing; that it reads and executes faithfully is EZ-TRUST-2.import Baseimport 0xabe575924687afad4cee1a2c1194d639/main.bend as Rimport ../run/bend.bend as Bendimport ../io/file.bend as Fimport ../share/args.bend as Argsimport ../lock/run.bend as Runimport ../lock/world.bend as Wimport ../lock/lock.bend as Limport ./world.bend as DWimport ./plan.bend as DP# how a program is asked for its version, once it is known whether this is# bend. Everything else answers the flag.def probe.ask(is_bend: Bool, name: String) -> IO(String):  match is_bend:    case True{}:      Bend.version()    case False{}:      R.exec([name, "--version"])# a tree under BEND_LIB, as it is: its manifest and every file it names, read# from beside it. A file that is not there reads as "", which does not hash# to its sum.def tree.read(+dir: String, +manifest: String) -> IO(DW.Answer):  do IO<DW.Answer>:    ss : List<&2, String> <- Run.disk.all(dir, L.manifest.files(String.lines(manifest)))    return DW.Laid{manifest, ss}# a tree whose manifest was looked for; none there is none at alldef tree.seen(got: Maybe<&2, String>, +dir: String) -> IO(DW.Answer):  match got:    case Some{text}:      tree.read(dir, text)    case None{}:      IO.pure(DW.Answer, DW.Away{})# a package's tree under the library directorydef tree(+dir: String) -> IO(DW.Answer):  do IO<DW.Answer>:    m : Maybe<&2, String> <- F.read(dir ++ "/manifest")    tree.seen(m, dir)# one question, answered. `lib` is the library directory the planner names.def answer(+lib: String, ask: DW.Ask) -> IO(DW.Answer):  match ask:    case DW.Probe{+name}:      do IO<DW.Answer>:        +out : String <- probe.ask(String.eq(name, "bend"), name)        return DW.Printed{R.ok(out), R.text(out)}    case DW.Lib{dir}:      do IO<DW.Answer>:        +out : String <- R.exec(["ls", dir])        return DW.Printed{R.ok(out), R.text(out)}    case DW.Sources{}:      do IO<DW.Answer>:        l : W.Listing <- Run.read.listing()        return DW.Listed{l}    case DW.Tree{a}:      tree(lib ++ "/" ++ W.ask.hash(a))    case DW.Name{nv}:      do IO<DW.Answer>:        m : Maybe<&2, String> <- F.read(lib ++ "/names/" ++ nv)        return DW.Held{m}# every question, answereddef answer.all(+lib: String, asks: List<&2, DW.Ask>) -> IO(List<&2, DW.Reply>):  match asks:    case []:      IO.pure(List<&2, DW.Reply>, [])    case +h <> t:      do IO<List<&2, DW.Reply>>:        a : DW.Answer <- answer(lib, h)        rest : List<&2, DW.Reply> <- answer.all(lib, t)        return DW.Reply{h, a} <> rest# the World with more answers in itdef more(world: DW.World, rs: List<&2, DW.Reply>) -> DW.World:  DW.World{cc, lib, ledger, lock, replies} = world  DW.World{cc, lib, ledger, lock, List.append(&2, DW.Reply, replies, rs)}# the planner's step: its questions answered and the loop gone round again,# or its plan rundef loop.step(st: DP.Step, +lib: String, world: DW.World, go: DW.World -> IO(Unit)) -> IO(Unit):  match st:    case DP.Asking{asks}:      do IO<Unit>:        rs : List<&2, DW.Reply> <- answer.all(lib, asks)        go(more(world, rs))    case DP.Run{pl}:      Run.exec.plan("", pl)# the loop, under fuel. Every round adds at least one answer, since the# planner never asks what the World answers already, and the lock check asks# about each package at most once.def loop(fuel: Nat, +lib: String, +world: DW.World) -> IO(Unit):  match fuel:    case 0n:      IO.die(Unit, 1, "ez: ez doctor kept asking questions")    case 1n+f:      loop.step(DP.step(world), lib, world, w => loop(f, lib, w))# a variable's text, "" when it is unsetdef var(name: String) -> IO(String):  do IO<String>:    r : Result<&1, &1, U32 & String, String> <- IO.get_env(name)    return Args.text_of(r)# `ez doctor`: the toolchain and the project, reported ondef run() -> IO(Unit):  do IO<Unit>:    cc : String <- var("CC")    +lib : String <- var("BEND_LIB")    led : Maybe<&2, String> <- F.read(DW.toml())    lk : Maybe<&2, String> <- F.read(DW.lockfile())    loop(U32.to_nat(100000), DP.lib.at(lib), DW.World{cc, lib, led, lk, []})