Cmd.check.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/cmd.bend as Cmd
Lines 69-80 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=69&end_line=80

import Base
import snap@1.4.0.0/main.bend as R
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/share/exec.bend as Exec
import ezx@1.11.0.0/src/share/args.bend as Args
import ezx@1.11.0.0/src/ez/ends.bend as E
import ezx@1.11.0.0/src/ez/start.bend as S

# the entry checked, and never run, once `.ez` is there for its JS. The
# entry is the word after `bend` on the line.
def check.go(start: S.Start) -> IO(Unit):
  match start:
    case S.Refused{why}:
      refused(why)
    case S.Starts{+line}:
      do IO<Unit>:
        Exec.make(Env.dirs("check", ""))
        +out : String <- Exec.exec(line)
        check.said(E.check.passed(out), Args.at(line, 1n), R.text(out))
        Run.end(E.checked(out))

Uses (15):
  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=String
  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=check.said
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/cmd.bend&name=refused
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/ends.bend&name=check.passed
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/ends.bend&name=checked
  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/lock/run.bend&name=end
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/args.bend&name=at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/env.bend&name=dirs
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/exec.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/exec.bend&name=make
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text