2 files changed, 9 insertions, 0 deletions
diff --git a/clib/exninfo.ml b/clib/exninfo.ml
index 621f7e615f..07b7f47529 100644
--- a/clib/exninfo.ml
+++ b/clib/exninfo.ml
@@ -117,3 +117,10 @@ let capture e =
     e, add info backtrace_info bt
   else
     e, info e
+
+let reify () =
+  if !is_recording then
+    let bt = Printexc.get_callstack 50 in
+    add null backtrace_info bt
+  else
+    null
diff --git a/clib/exninfo.mli b/clib/exninfo.mli
index 55f0662431..08395f59f4 100644
--- a/clib/exninfo.mli
+++ b/clib/exninfo.mli
@@ -79,3 +79,5 @@ val capture : exn -> iexn
 
 val iraise : iexn -> 'a
 (** Raise the given enriched exception. *)
+
+val reify : unit -> info