* 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 57939da48c319bba1e506720f47f849ed08a5530..03742ac308a7efc02d68b929158fc5846e169f55 100644 (file)
--- 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 "\e[0;31mFAIL\e[0m\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