Merge pull request #46 from robur-coop/reraise

Provide Miou.reraise
robur-coop · Sep 24, 2024 · ed46445 · ed46445
2 parents 98b4ee0 + 3399806
commit ed46445
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/lib/miou.mli b/lib/miou.mli
@@ -456,6 +456,11 @@ module Computation = Miou_sync.Computation
 module Queue = Miou_queue
 module Backoff = Miou_backoff
 
+external reraise : exn -> 'a = "%reraise"
+(** [reraise exn] raises the exception [exn]. Unlike [raise exn], [reraise exn]
+    preserves the existing exception backtrace and even adds a "Re-raised at"
+    entry with the call location. *)
+
 module Sequence : sig
   type 'a t
   type 'a node