From 5f5b8a1fdfc71ae93f75d5bfa2d6bb2920a2f4d1 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 30 Jan 2020 23:00:40 +0100
Subject: [exn] remove `raise` taking optional exception information argument

This was redundant with `iraise`; exceptions in the logic monad now
are forced to attach `info` to `Proofview.NonLogical.raise`
---
 clib/exninfo.ml  | 10 ----------
 clib/exninfo.mli |  3 ---
 2 files changed, 13 deletions(-)

(limited to 'clib')

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. *)
-- 
cgit v1.2.3