diff options
| author | Pierre-Marie Pédrot | 2014-01-30 15:30:01 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-01-30 16:02:33 +0100 |
| commit | 1059ecce2a2662e4d8f335bd4db743df70b100b1 (patch) | |
| tree | 236cad1f42ecaea078f8a0fb17dd17eec81631e0 /lib/backtrace.mli | |
| parent | a5e78ef4a8450991c6f1ee748b720eb0d54d04d2 (diff) | |
Fixing backtrace handling here and there.
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. *) |