From b1a96410226bc225bd33603fd2de921969453197 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 27 Mar 2006 14:10:47 +0000
Subject: [PATCH] * trust = true * better pretty-printing of type-checking
 exceptions

---
 components/binaries/utilities/test_library.ml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/components/binaries/utilities/test_library.ml b/components/binaries/utilities/test_library.ml
index 57939da48..03742ac30 100644
--- a/components/binaries/utilities/test_library.ml
+++ b/components/binaries/utilities/test_library.ml
@@ -23,7 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-let trust = false
+let trust = true
 let conffile = "../../../matita/matita.conf.xml"
 
 let _ = CicEnvironment.set_trust (fun _ -> trust);;
@@ -106,7 +106,13 @@ let _ =
         | exn ->
            Printf.printf "FAIL\n";
            flush stdout;
-           prerr_endline (Printexc.to_string exn)
+           prerr_endline
+            (match exn with
+                CicTypeChecker.TypeCheckerFailure msg ->
+                 "TypeCheckerFailure: " ^ Lazy.force msg
+              | CicTypeChecker.AssertFailure msg ->
+                 "TypeCheckerAssertion: " ^ Lazy.force msg
+              | _ -> Printexc.to_string exn)
     done
   with
      End_of_file
-- 
2.39.2