fix: uniformize domain stub

This commit is contained in:
Simon Cruanes 2023-05-31 00:45:43 -04:00
parent 22ab8e4a69
commit a585cc8158
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -53,7 +53,7 @@ type t = Thread.t
let get_id (self:t) : int = Thread.id self let get_id (self:t) : int = Thread.id self
let spawn_on f : t = let spawn f : t =
Thread.create f () Thread.create f ()
|} |}

View file

@ -59,7 +59,7 @@ module D_pool_ = struct
(let n = Domain_.recommended_number () in (let n = Domain_.recommended_number () in
Array.init n (fun i -> Array.init n (fun i ->
let q = S_queue.create () in 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 })) { q }))
(** Number of domains in the pool *) (** Number of domains in the pool *)