language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update error.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-09-03 21:08:27 +09:00
parent bb2c4a6384
commit 94fc05ddd0
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_common/error.rs
View file

@ -770,12 +770,12 @@ impl SubMessage {
Location::Line(lineno) => {
let input = e.input();
let (_, vbar) = chars.gutters();
let code = input
.reread_lines(lineno as usize, lineno as usize)
.remove(0);
let codes = input.reread_lines(lineno as usize, lineno as usize);
let default = "???".to_string();
let code = codes.first().unwrap_or(&default);
let mut cxt = StyledStrings::default();
cxt.push_str_with_color(&format!(" {lineno} {vbar} "), gutter_color);
cxt.push_str(&code);
cxt.push_str(code);
cxt.push_str("\n");
for msg in self.msg.iter() {
cxt.push_str(msg);