From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 27 Mar 2006 14:10:47 +0000 (+0000)
Subject: * trust = true
X-Git-Tag: 0.4.95@7852~1554
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b1a96410226bc225bd33603fd2de921969453197;hp=9af2c02b054a92804da88cb06d6699ce21b943c0;p=helm.git

* trust = true
* better pretty-printing of type-checking exceptions
---

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