def check.go

ezx@1.11.0.0 · src/ez/cmd.bend:69

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

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