From e14fef283458aa7f101b86c3338eea301ed43984 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 Feb 2024 20:36:15 -0500 Subject: [PATCH] remove deprecated `Moonpool.Pool` --- src/core/dune | 2 +- src/core/moonpool.ml | 1 - src/core/moonpool.mli | 4 ---- 3 files changed, 1 insertion(+), 6 deletions(-) diff --git a/src/core/dune b/src/core/dune index b52f72f9..92911637 100644 --- a/src/core/dune +++ b/src/core/dune @@ -3,7 +3,7 @@ (name moonpool) (libraries moonpool.private) (flags :standard -open Moonpool_private) - (private_modules domain_pool_) + (private_modules domain_pool_ util_pool_) (preprocess (action (run %{project_root}/src/cpp/cpp.exe %{input-file})))) diff --git a/src/core/moonpool.ml b/src/core/moonpool.ml index 44e4dffc..b292531c 100644 --- a/src/core/moonpool.ml +++ b/src/core/moonpool.ml @@ -21,7 +21,6 @@ module Fifo_pool = Fifo_pool module Fut = Fut module Lock = Lock module Immediate_runner = Immediate_runner -module Pool = Fifo_pool module Runner = Runner module Thread_local_storage = Thread_local_storage_ module Ws_pool = Ws_pool diff --git a/src/core/moonpool.mli b/src/core/moonpool.mli index 59542f54..1c8a5235 100644 --- a/src/core/moonpool.mli +++ b/src/core/moonpool.mli @@ -14,10 +14,6 @@ module Fifo_pool = Fifo_pool module Runner = Runner module Immediate_runner = Immediate_runner -module Pool = Fifo_pool -[@@deprecated "use Fifo_pool or Ws_pool to be more explicit"] -(** Default pool. Please explicitly pick an implementation instead. *) - val start_thread_on_some_domain : ('a -> unit) -> 'a -> Thread.t (** Similar to {!Thread.create}, but it picks a background domain at random to run the thread. This ensures that we don't always pick the same domain