Print dbg output in blue in terminal

This commit is contained in:
Richard Feldman 2022-11-24 20:38:52 -05:00
parent 6517a766f6
commit c63baa2ede
No known key found for this signature in database
GPG Key ID: F1F21AA5B1D9E43B

View File

@ -183,7 +183,7 @@ impl<'a> Renderer<'a> {
let line_col_region = self.to_line_col_region(expect_region, dbg_expr_region);
write!(
writer,
"[{} {}:{}] = ",
"\u{001b}[36m[{} {}:{}] \u{001b}[0m",
self.filename.display(),
line_col_region.start.line,
line_col_region.start.column