From 8f8fe9295467cb748ad455e7b907a4bedff19b0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Thu, 10 Dec 2020 10:16:07 +0100 Subject: [PATCH] More uniform wording in documentation of finalize --- src/core/lwt.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/core/lwt.mli b/src/core/lwt.mli index e8e28a0abb..c43bbaaf25 100644 --- a/src/core/lwt.mli +++ b/src/core/lwt.mli @@ -743,9 +743,9 @@ let () = resolved. In other words, [p_1] is forwarded to [p_3] when cleanup is successful. - If [p_2] is rejected, [p_3] is rejected with the same exception. In other - words, when cleanup fails, [p_3] is rejected. Note this means that if - {e both} the protected code and the cleanup fail, the cleanup exception - has precedence. *) + words, [p_2] is forwarded to [p_3] when cleanup is unsuccessful. Note this + means that if {e both} the protected code and the cleanup fail, the + cleanup exception has precedence. *) val try_bind : (unit -> 'a t) -> ('a -> 'b t) -> (exn -> 'b t) -> 'b t (** [Lwt.try_bind f g h] applies [f ()], and then makes it so that: