diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2006-11-06 09:12:53 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2006-11-06 09:12:53 +0000 |
| commit | 044ac2610c4050373d996f588f977f0692779b9f (patch) | |
| tree | 0203480c5c0d0cff95c8629f591d714a35aaa851 /stdlib/printf.mli | |
| parent | 84b420f2fe51049d8512b75451e29f2c91215890 (diff) | |
New function ifprintf that does not print. (See request #0004031.)
Ifprintf is a one-liner using implementation tools from Printf, whereas it is
not possible to write it in pure Caml.
Useful to conditionally ignore printing.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7717 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/printf.mli')
| -rw-r--r-- | stdlib/printf.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli index 5995a6ba1..b28a8f6df 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -113,10 +113,13 @@ val printf : ('a, out_channel, unit) format -> 'a val eprintf : ('a, out_channel, unit) format -> 'a (** Same as {!Printf.fprintf}, but output on [stderr]. *) +val ifprintf : 'a -> ('b, 'a, unit) format -> 'b +(** Same as {!Printf.fprintf}, but does not print anything. + Useful to ignore some material when conditionally printing. *) + val sprintf : ('a, unit, string) format -> 'a (** Same as {!Printf.fprintf}, but instead of printing on an output channel, - return a string containing the result of formatting - the arguments. *) + return a string containing the result of formatting the arguments. *) val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a (** Same as {!Printf.fprintf}, but instead of printing on an output channel, |