def finish

cli@0.2.0.0 · run.bend:58

import Base

58# §7.2 step 4: out to stdout and err to stderr, each if not empty, then exit.
59def finish(code: U32, +out: String, +err: String) -> IO(Unit):
60  do IO<Unit>:
61    write_out(String.is_empty(out), out)
62    write_err(String.is_empty(err), err)
63    exit(code)