def owed

ezx@1.11.0.0 · src/share/spin.bend:50

import Base

50# a spinner that never started still owes its line, unless the plain path
51# already printed it and left the message empty
52def owed(empty: Bool, +msg: String) -> IO(Unit):
53  match empty:
54    case True{}:
55      IO.pure(Unit, Unit{})
56    case False{}:
57      IO.print_err(msg)