CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Restore important flushing?!

Browse Source
This commit is contained in:
Denis Merigoux 2023-04-21 11:29:07 +02:00
parent 067c7b9155
commit 2b0e18f5a8
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/catala_utils/cli.ml
View File

@ -549,9 +549,13 @@ let debug_format (format : ('a, Format.formatter, unit) format) =
else Format.ifprintf Format.std_formatter format
let error_print format =
Format.print_flush ();
(* Flushes previous warnings *)
Format.eprintf ("%a" ^^ format ^^ "@\n") error_marker ()
let error_format (format : ('a, Format.formatter, unit) format) =
Format.print_flush ();
(* Flushes previous warnings *)
Format.printf ("%a" ^^ format ^^ "\n%!") error_marker ()
let warning_print format =