From ff586ca2d81fcd7b93c44fc4d45f6f979498ad1d Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Wed, 5 Nov 2025 20:23:17 +0100
Subject: [PATCH] feat(cli): add line feed between error reports

---
 src/main.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index 1cbee59..e112217 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -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();
             }
         }
     }