def exec

bolt@1.27.0.0 · src/lint.bend:77

import bolt@1.27.0.0/src/lint.bend as Lint
import Base
import bolt@1.27.0.0/src/lint/plan.bend as Plan
import bolt@1.27.0.0/src/status.bend as Status

77# a plan, carried out: its lines printed, then its exit status
78def exec(pl: Plan.Plan) -> IO(Unit):  # noqa: L001 IO driver
79  Plan.Plan{lines, exit} = pl
80  do IO<Unit>:
81    print_all(lines)
82    Status.stop(U32.is_gt(exit, 0))

Uses (7)

Used by (1)