From 50042d6c09809174fefc4760bc84562a05a9317a Mon Sep 17 00:00:00 2001 From: Fabian Date: Wed, 8 Jan 2020 22:05:18 -0600 Subject: [PATCH] Document raising behaviour of CCIO.tee --- src/core/CCIO.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCIO.mli b/src/core/CCIO.mli index 5f16d69f..23348307 100644 --- a/src/core/CCIO.mli +++ b/src/core/CCIO.mli @@ -143,7 +143,8 @@ val with_in_out : ?mode:int -> ?flags:open_flag list -> val tee : ('a -> unit) list -> 'a gen -> 'a gen (** [tee funs gen] behaves like [gen], but each element is given to - every function [f] in [funs] at the time the element is produced. *) + every function [f] in [funs] at the time the element is produced. + The returned generator will raise any exception that [f] raises *) (** {2 File and file names}