From 855c43ddac63b7a9690c1b5553fe4e833173e43e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 2 Aug 2024 16:05:17 +0200
Subject: [PATCH] [kernel] print exception when plugin loading fails
---
src/kernel_services/plugin_entry_points/dynamic.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index bc1a5a5da0..3efe5f97b0 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/src/kernel_services/plugin_entry_points/dynamic.ml
@@ -126,7 +126,8 @@ let load_plugin m =
(* Ok, this is ugly, but Dune Site does not give any way to catch this ...
Note that we abort with a user error.
*)
- with _ -> Klog.abort "Failed to load plug-in %S" m
+ with e -> Klog.abort "Failed to load plug-in %S@.Exception: %s" m
+ (Printexc.to_string e)
let load_module m =
let base,ext = split_ext m in
--
GitLab