From f46cc4f12c420693edaa73fa353820518376d3f9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 24 Jun 2023 14:58:29 -0400 Subject: [PATCH] fix: Fork_join.both_ignore now has a more general type --- src/fork_join.ml | 2 +- src/fork_join.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/fork_join.ml b/src/fork_join.ml index 80044ea3..e524f000 100644 --- a/src/fork_join.ml +++ b/src/fork_join.ml @@ -87,7 +87,7 @@ let both f g : _ * _ = }; get_exn st -let both_ignore f g = ignore (both f g : unit * unit) +let both_ignore f g = ignore (both f g : _ * _) let all_list fs : _ list = let len = List.length fs in diff --git a/src/fork_join.mli b/src/fork_join.mli index 3ded1404..2d0c6f71 100644 --- a/src/fork_join.mli +++ b/src/fork_join.mli @@ -14,7 +14,7 @@ val both : (unit -> 'a) -> (unit -> 'b) -> 'a * 'b @since 0.3 {b NOTE} this is only available on OCaml 5. *) -val both_ignore : (unit -> unit) -> (unit -> unit) -> unit +val both_ignore : (unit -> _) -> (unit -> _) -> unit (** Same as [both f g |> ignore]. @since 0.3 {b NOTE} this is only available on OCaml 5. *)