From a585cc815802b6d77e82a6040ffb601445d74024 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 31 May 2023 00:45:43 -0400 Subject: [PATCH] fix: uniformize domain stub --- src/gen/gen.ml | 2 +- src/moonpool.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gen/gen.ml b/src/gen/gen.ml index 1d018bf5..5e5d54bb 100644 --- a/src/gen/gen.ml +++ b/src/gen/gen.ml @@ -53,7 +53,7 @@ type t = Thread.t let get_id (self:t) : int = Thread.id self -let spawn_on f : t = +let spawn f : t = Thread.create f () |} diff --git a/src/moonpool.ml b/src/moonpool.ml index 77275306..6657f693 100644 --- a/src/moonpool.ml +++ b/src/moonpool.ml @@ -59,7 +59,7 @@ module D_pool_ = struct (let n = Domain_.recommended_number () in Array.init n (fun i -> let q = S_queue.create () in - let _domain : domain = Domain_.spawn_on (fun () -> work_ i q) in + let _domain : domain = Domain_.spawn (fun () -> work_ i q) in { q })) (** Number of domains in the pool *)