diff options
Diffstat (limited to 'lib/backtrace.mli')
| -rw-r--r-- | lib/backtrace.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/backtrace.mli b/lib/backtrace.mli index b5a956573d..ecd046b545 100644 --- a/lib/backtrace.mli +++ b/lib/backtrace.mli @@ -87,3 +87,10 @@ val add_backtrace : exn -> exn I admit that's a bit heavy, but there is not much to do... *) + +val app_backtrace : src:exn -> dst:exn -> exn +(** Append the backtrace from [src] to [dst]. The returned exception is [dst] + except for its backtrace information. This is targeted at container + exceptions, that is, exceptions that contain exceptions. This way, one can + transfer the backtrace from the container to the underlying exception, as if + the latter was the one originally raised. *) |