simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-06 03:05:30 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove deprecated Moonpool.Pool

Browse source
This commit is contained in:
Simon Cruanes 2024-02-02 20:36:15 -05:00
parent 223f22a0d9
commit e14fef2834
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/dune
View file

@ -3,7 +3,7 @@
(name moonpool) (name moonpool)
(libraries moonpool.private) (libraries moonpool.private)
(flags :standard -open Moonpool_private) (flags :standard -open Moonpool_private)
(private_modules domain_pool_) (private_modules domain_pool_ util_pool_)
(preprocess (preprocess
(action (action
(run %{project_root}/src/cpp/cpp.exe %{input-file})))) (run %{project_root}/src/cpp/cpp.exe %{input-file}))))

1
src/core/moonpool.ml
View file

@ -21,7 +21,6 @@ module Fifo_pool = Fifo_pool
module Fut = Fut module Fut = Fut
module Lock = Lock module Lock = Lock
module Immediate_runner = Immediate_runner module Immediate_runner = Immediate_runner
module Pool = Fifo_pool
module Runner = Runner module Runner = Runner
module Thread_local_storage = Thread_local_storage_ module Thread_local_storage = Thread_local_storage_
module Ws_pool = Ws_pool module Ws_pool = Ws_pool

4
src/core/moonpool.mli
View file

@ -14,10 +14,6 @@ module Fifo_pool = Fifo_pool
module Runner = Runner module Runner = Runner
module Immediate_runner = Immediate_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 val start_thread_on_some_domain : ('a -> unit) -> 'a -> Thread.t
(** Similar to {!Thread.create}, but it picks a background domain at random (** 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 to run the thread. This ensures that we don't always pick the same domain