diff options
| author | Pierre-Marie Pédrot | 2020-02-25 10:23:40 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-25 10:23:40 +0100 |
| commit | a9deb354d00b9a402a63648d1cadf4c2c36bbdd1 (patch) | |
| tree | 6475fd4c64977f4cc9b51599bcf69a978988f651 /clib | |
| parent | 457ea1b8917844e1b955ce419ce08cd0bdc7ccc5 (diff) | |
| parent | 5f5b8a1fdfc71ae93f75d5bfa2d6bb2920a2f4d1 (diff) | |
Merge PR #11489: [exn] remove `raise` taking optional exception information argument
Reviewed-by: ppedrot
Diffstat (limited to 'clib')
| -rw-r--r-- | clib/exninfo.ml | 10 | ||||
| -rw-r--r-- | clib/exninfo.mli | 3 |
2 files changed, 0 insertions, 13 deletions
diff --git a/clib/exninfo.ml b/clib/exninfo.ml index ee998c2f17..34a4555a9a 100644 --- a/clib/exninfo.ml +++ b/clib/exninfo.ml @@ -81,16 +81,6 @@ let iraise (e,i) = | Some bt -> Printexc.raise_with_backtrace e bt -let raise ?info e = match info with -| None -> - let () = Mutex.lock lock in - let id = Thread.id (Thread.self ()) in - let () = current := remove_assoc id !current in - let () = Mutex.unlock lock in - raise e -| Some i -> - iraise (e,i) - let find_and_remove () = let () = Mutex.lock lock in let id = Thread.id (Thread.self ()) in diff --git a/clib/exninfo.mli b/clib/exninfo.mli index 36cc44cf82..725cd82809 100644 --- a/clib/exninfo.mli +++ b/clib/exninfo.mli @@ -79,6 +79,3 @@ val capture : exn -> iexn val iraise : iexn -> 'a (** Raise the given enriched exception. *) - -val raise : ?info:info -> exn -> 'a -(** Raise the given exception with additional information. *) |