def diag.at

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

import Base

148# an error placed: on its marked line, 0-based, in the checked file; on line
149# 0, its message headed by where it is, in another file
150def diag.at(+own: Bool, +place: String, +line: U32, +body: String) -> Diag:
151  Diag{Bool.pick(U32, Bool.or(Bool.not(own), U32.is_eq(line, 0)), 0, (line - 1 : U32)),
152    Bool.pick(String, own, body, "in " ++ place ++ ":\n" ++ body)}