fix: Fork_join.both_ignore now has a more general type

This commit is contained in:
Simon Cruanes 2023-06-24 14:58:29 -04:00
parent b346fa03af
commit f46cc4f12c
2 changed files with 2 additions and 2 deletions

View file

@ -87,7 +87,7 @@ let both f g : _ * _ =
}; };
get_exn st 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 all_list fs : _ list =
let len = List.length fs in let len = List.length fs in

View file

@ -14,7 +14,7 @@ val both : (unit -> 'a) -> (unit -> 'b) -> 'a * 'b
@since 0.3 @since 0.3
{b NOTE} this is only available on OCaml 5. *) {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]. (** Same as [both f g |> ignore].
@since 0.3 @since 0.3
{b NOTE} this is only available on OCaml 5. *) {b NOTE} this is only available on OCaml 5. *)