src/status.bend checks
raw source on the hub · import 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/status.bend as Status
src/status: a run's exit status. A run that found errors exits 1, so a
shell, the gate or an editor can tell without reading the output. IO.die
is what sets the code; its message goes to stderr and the findings are
already printed, so it is empty here (the runtime still ends it with a
newline: one blank line on stderr is the whole cost).
1 import
import Base
Definitions
def stop source · line 9 · raw
@bad:Bool -> IO(Unit)
exit 1 when the run found errors, else fall through (exit 0)