summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2009-12-18 12:05:34 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2009-12-18 12:05:34 +0000
commitf2f0f0efeca3748a806f0bc3d9030d77594446fa (patch)
treeb2a752858798a845cbd82a0037eaa6793d882a7b
parente904577b6b0e68911c9169eb7c1629f6f3b9534c (diff)
downloadocaml-f2f0f0efeca3748a806f0bc3d9030d77594446fa.tar.gz
PR#4806: ocamldoc: display the exception causing the message 'Compilation error. Use the ocaml compiler to get more details'
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamldoc/odoc_analyse.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/ocamldoc/odoc_analyse.ml b/ocamldoc/odoc_analyse.ml
index ced54dd8f5..83ba02b066 100644
--- a/ocamldoc/odoc_analyse.ml
+++ b/ocamldoc/odoc_analyse.ml
@@ -195,7 +195,9 @@ let process_error exn =
fprintf ppf "Error-enabled warnings (%d occurrences)" n
| x ->
fprintf ppf "@]";
- fprintf ppf "Compilation error. Use the OCaml compiler to get more details."
+ fprintf ppf
+ "Compilation error(%s). Use the OCaml compiler to get more details."
+ (Printexc.to_string x)
in
Format.fprintf Format.err_formatter "@[%a@]@." report exn