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

Region with line numbers of different string length need to pad shorter line numbers

Browse source
This commit is contained in:
Chad Stearns 2020-03-22 21:22:59 -04:00
parent 4cec4d2c8a
commit 1478fbca3f
2 changed files with 53 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/reporting/src/report.rs
View file

@ -165,13 +165,25 @@ impl ReportText {
}
Type(content) => buf.push_str(content_to_string(content, subs, home, interns).as_str()),
Region(region) => {
let max_line_number_length = region.end_line.to_string().len();
for i in region.start_line..=region.end_line {
buf.push_str(i.to_string().as_str());
let i_one_indexed = i + 1;
let line_number_string = i_one_indexed.to_string();
let line_number = line_number_string.as_str();
let this_line_number_length = line_number.len();
buf.push_str(
" ".repeat(max_line_number_length - this_line_number_length)
.as_str(),
);
buf.push_str(line_number);
buf.push_str(" ┆");
let line = src_lines[i as usize];
if !line.is_empty() {
if !line.trim().is_empty() {
buf.push_str(" ");
buf.push_str(src_lines[i as usize]);
}