feat(cli): add line feed between error reports

This commit is contained in:
Romain Paquet 2025-11-05 20:23:17 +01:00
parent c435cd09c7
commit ff586ca2d8

View file

@ -5,6 +5,7 @@ pub mod source;
pub mod typing;
use std::default::Default;
use std::io::Write as _;
use std::path::PathBuf;
use clap::{Parser as ClapParser, Subcommand};
@ -77,6 +78,7 @@ fn check(modules: &mut Vec<Module>, source_cache: &mut SourceCache) {
.to_report(module)
.eprint(&mut *source_cache)
.expect("cannot write error to stderr");
std::io::stderr().write_all("\n".as_bytes()).unwrap();
}
}
}