def exec.plan

ezx@1.11.0.0 · src/tool/run.bend:253

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/tool/plan.bend as TP

253# a plan, executed, and how it ends: with the status the planner gives its
254# end and the program's status (`TP.code`, EZ-OUT-1)
255def exec.plan(+pl: TP.Plan) -> IO(Unit):
256  TP.Plan{l, m, f, o} = pl
257  do IO<Unit>:
258    exec.lay(l)
259    exec.make(m)
260    s : U32 <- exec.finish(f)
261    +code : U32 <- IO.pure(U32, TP.code(TP.exit(pl), s))
262    Run.end.at(U32.is_eq(code, 0), code, LP.why(o))