Cmd.run.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/cmd.bend as Cmd
Lines 120-127 of ezx@1.11.0.0/src/ez/cmd.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/cmd.bend&start_line=120&end_line=127

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/share/env.bend as Env
import ezx@1.11.0.0/src/ez/start.bend as S

# a run, and how it ends: exit 1 with the reason for a refusal, and the
# program's own status otherwise (`S.code`, EZ-OUT-1)
def run.go(+start: S.Start) -> IO(Unit):
  do IO<Unit>:
    at : String <- Env.lib()
    +program : U32 <- run.started(start, at)
    +code : U32 <- IO.pure(U32, S.code(start, program))
    Run.end.at(U32.is_eq(code, 0), code, S.why(start))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/cmd.bend&name=run.started
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/start.bend&name=Start
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/start.bend&name=code
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/start.bend&name=why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=end.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/env.bend&name=lib