def flush

bolt@1.27.0.0 · src/lsp/report.bend:73

import Base

73# the error so far, its message lines reversed, onto the ones before it; "no
74# main to run" is a library, not an error
75def flush(seen: Bool, msg: List<&2, String>, +line: U32, +place: String, +out: List<&2, Raw>) -> List<&2, Raw>:
76  +body = String.join(List.reverse(&2, String, msg), "\n")
77  Bool.pick(List<&2, Raw>, Bool.and(seen, Bool.not(String.eq(body, "no main to run"))),
78    Raw{place, line, body} <> out, out)