From 2d9e834ccc298a007d81066758631a4273f1ec77 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 1 Jun 2023 22:14:44 -0400 Subject: [PATCH] small fix --- src/moonpool.ml | 2 -- src/moonpool.mli | 2 -- 2 files changed, 4 deletions(-) diff --git a/src/moonpool.ml b/src/moonpool.ml index 9c3a7bf3..109cc500 100644 --- a/src/moonpool.ml +++ b/src/moonpool.ml @@ -1,5 +1,3 @@ -type 'a or_error = ('a, exn * Printexc.raw_backtrace) result - let start_thread_on_some_domain f x = let did = Random.int (D_pool_.n_domains ()) in D_pool_.run_on_and_wait did (fun () -> Thread.create f x) diff --git a/src/moonpool.mli b/src/moonpool.mli index 625d15f7..a96f07e8 100644 --- a/src/moonpool.mli +++ b/src/moonpool.mli @@ -4,8 +4,6 @@ pools of [Thread.t] which live within a fixed pool of [Domain.t]. *) -type 'a or_error = ('a, exn * Printexc.raw_backtrace) result - module Pool = Pool val start_thread_on_some_domain : ('a -> unit) -> 'a -> Thread.t