Status.stop: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/status.bend as Status Lines 8-14 of bolt@1.27.0.0/src/status.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/status.bend&start_line=8&end_line=14 import Base # exit 1 when the run found errors, else fall through (exit 0) def stop(bad: Bool) -> IO(Unit): # noqa: L001 IO: exit status match bad: case True{}: IO.die(Unit, 1, "") case False{}: IO.pure(Unit, Unit{}) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit