[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/stm/asyncTaskQueue.ml b/stm/asyncTaskQueue.ml
index fd689602df..9eb0924bd6 100644
--- a/stm/asyncTaskQueue.ml
+++ b/stm/asyncTaskQueue.ml
@@ -372,7 +372,7 @@ module Make(T : Task) () = struct
   let with_n_workers n priority f =
     let q = create n priority in
     try let rc = f q in destroy q; rc
-    with e -> let e = CErrors.push e in destroy q; iraise e
+    with e -> let e = Exninfo.capture e in destroy q; Exninfo.iraise e
 
   let n_workers { active } = Pool.n_workers active