fix build

This commit is contained in:
Simon Cruanes 2024-02-07 15:49:01 -05:00
parent 6d92d14fcb
commit e56dbc6a09
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 8 additions and 6 deletions

View file

@ -169,10 +169,11 @@ let create ?(on_init_thread = default_thread_init_exit_)
runner runner
let with_ ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads () f let with_ ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads
= ?name () f =
let pool = let pool =
create ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads () create ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads
?name ()
in in
let@ () = Fun.protect ~finally:(fun () -> shutdown pool) in let@ () = Fun.protect ~finally:(fun () -> shutdown pool) in
f pool f pool

View file

@ -362,10 +362,11 @@ let create ?(on_init_thread = default_thread_init_exit_)
runner runner
let with_ ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads () f let with_ ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads
= ?name () f =
let pool = let pool =
create ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads () create ?on_init_thread ?on_exit_thread ?on_exn ?around_task ?num_threads
?name ()
in in
let@ () = Fun.protect ~finally:(fun () -> shutdown pool) in let@ () = Fun.protect ~finally:(fun () -> shutdown pool) in
f pool f pool