From b3c92c2aef3c10264923b6a280df5cc6a79e3c35 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 22 Nov 2005 09:42:56 +0000 Subject: [PATCH] Error messages improved. --- helm/matita/matitaExcPp.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml index 34da22c40..3ad6da153 100644 --- a/helm/matita/matitaExcPp.ml +++ b/helm/matita/matitaExcPp.ml @@ -61,10 +61,12 @@ let to_string = [] -> "" | phase::tl -> aux (n+1) tl ^ - "** Errors obtained during phase " ^ string_of_int n ^": **\n" ^ - String.concat "\n" (List.map Lazy.force phase) ^ "\n" ^ "\n" + "***** Errors obtained during phase " ^ string_of_int n ^": *****\n"^ + String.concat "\n\n" + (List.map (fun msg -> "*Error: " ^ Lazy.force msg) phase) ^ + "\n\n\n" in - "*** DISAMBIGUATION ERROR: ***\n" ^ + "********** DISAMBIGUATION ERRORS: **********\n" ^ aux 1 errorll | exn -> "Uncaught exception: " ^ Printexc.to_string exn -- 2.39.2