[compiler] Tweaks to display

ejgallego · Jun 4, 2024 · 3929c82 · 3929c82
1 parent d1b51c5
commit 3929c82
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/plugins/univdiff/main.ml b/plugins/univdiff/main.ml
@@ -54,6 +54,11 @@ let dump_univdiff ~io ~token ~(doc : Doc.t) =
   let uri_str = Lang.LUri.File.to_string_uri uri in
   let out_file = Lang.LUri.File.to_string_file uri ^ ".unidiff" in
   let lvl = Io.Level.info in
+  let ndiags = Doc.diags doc |> List.length in
+  let message =
+    Format.asprintf "[univdiff plugin] %d diags present for file..." ndiags
+  in
+  Io.Report.message ~io ~lvl ~message;
   let message =
     Format.asprintf "[univdiff plugin] dumping universe diff for %s ..." uri_str
   in