~/jendhub

def report.capped

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

import ezx@1.11.0.0/src/ez/cmd.bend as Cmd
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/ez/ends.bend as E

39# a build's output, printed with a word in front of it for a run the kernel
40# ended rather than the program, and the command ended on it (`E.ran`): a
41# failed build must fail the command, or a script around it learns nothing.
42# bend prints that all terms check before it emits any C, so a build killed at
43# the cap is otherwise indistinguishable from one that worked and wrote
44# nothing.
45def report.capped(+why: String, +out: String) -> IO(Unit):
46  do IO<Unit>:
47    IO.write(why ++ R.text(out))
48    Run.end(E.ran(out))

Uses (9)

Used by (1)