Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-05 20:07:27 +03:00
Code Issues Projects Releases Wiki Activity

merge: pull request #555 from HigherOrderCO/552-add-new-type-of-error-messages-used-for-llms

Browse Source 
Fix bug with position inside compact messages
This commit is contained in:
Sofia Rodrigues 2023-05-01 10:00:45 -03:00 committed by GitHub
commit 9a44360bbe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/kind-report/src/report/mode/compact.rs
View File

@ -7,7 +7,7 @@ use crate::{report::*, RenderConfig};
use super::{CodeBlock, Compact, Renderable, Res};
fn colorize_code<T: Write + Sized>(
fn mark_code<T: Write + Sized>(
markers: &mut [&(Point, Point, &Marker)],
code_line: &str,
fmt: &mut T,
@ -34,7 +34,7 @@ fn colorize_code<T: Write + Sized>(
}
if start < code_line.len() {
write!(fmt, "{}}}}}", &code_line[start..code_line.len()])?;
write!(fmt, "{}", &code_line[start..code_line.len()])?;
}
writeln!(fmt)?;
@ -94,7 +94,7 @@ impl Renderable<Compact> for Severity {
impl<'a> Renderable<Compact> for Header<'a> {
fn render<U: Write, C: FileCache>(&self, fmt: &mut U, _: &C, _: &RenderConfig) -> Res {
fmt.write_str(&self.title.to_lowercase())
writeln!(fmt, "{}", &self.title.to_lowercase())
}
}
@ -122,7 +122,7 @@ impl<'a> Renderable<Compact> for CodeBlock<'a> {
row.iter().filter(|x| x.0.line == x.1.line).collect();
if !inline_markers.is_empty() {
colorize_code(&mut inline_markers, code_lines[line], fmt)?;
mark_code(&mut inline_markers, code_lines[line], fmt)?;
} else {
writeln!(fmt, "{}", code_lines[line])?;
}