[exninfo] Deprecate aliases for exception re-raising.

We make the primitives for backtrace-enriched exceptions canonical in
the `Exninfo` module, deprecating all other aliases.

At some point dependencies between `CErrors` and `Exninfo` were a bit
complex, after recent clean-ups the roles seem much clearer so we can
have a single place for `iraise` and `capture`.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/future.ml b/lib/future.ml
index ddf841b7fc..e8d232ad96 100644
--- a/lib/future.ml
+++ b/lib/future.ml
@@ -131,7 +131,7 @@ let rec compute ck : 'a value =
         let data = f () in
         c := Val data; `Val data
       with e ->
-        let e = CErrors.push e in
+        let e = Exninfo.capture e in
         let e = fix_exn e in
         match e with
         | (NotReady _, _) -> `Exn e