From d755f77f9cc4760c403e588aea085733cd1f2979 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Tue, 1 Jul 2014 10:39:52 +0200
Subject: More informative message when Mltop.load_object fails.

---
 toplevel/mltop.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml
index 695fd3b82..3c7bd8e24 100644
--- a/toplevel/mltop.ml
+++ b/toplevel/mltop.ml
@@ -131,7 +131,9 @@ let dir_ml_load s =
         try
           Dynlink.loadfile gname;
 	with Dynlink.Error a ->
-          errorlabstrm "Mltop.load_object" (str (Dynlink.error_message a))
+          errorlabstrm "Mltop.load_object"
+            (strbrk "while loading " ++ str s ++
+             strbrk ": " ++ str (Dynlink.error_message a))
 
 (* Dynamic interpretation of .ml *)
 let dir_ml_use s =
-- 
cgit v1.2.3