diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-10 07:41:58 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-10 07:41:58 +0000 |
commit | 6aa6323477456f6924f5e2de0de626a087c81ddb (patch) | |
tree | bb593764ecdbb852b7a993f31d3dd86065aa0e1b | |
parent | b549b3ee9e45b46e4d3a07e5e69ca5edcfb0cab7 (diff) |
A simpler implementation for ifprintf.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | stdlib/format.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index 37c6af8fa..54f6d6c2c 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1312,10 +1312,10 @@ let mkprintf to_s get_out = **************************************************************) let kfprintf k ppf = mkprintf false (fun _ -> ppf) k;; -let ifprintf ppf = Tformat.kapr (fun _ -> Obj.magic ignore);; let ikfprintf k ppf = Tformat.kapr (fun _ _ -> Obj.magic (k ppf));; let fprintf ppf = kfprintf ignore ppf;; +let ifprintf ppf = ikfprintf ignore ppf;; let printf fmt = fprintf std_formatter fmt;; let eprintf fmt = fprintf err_formatter fmt;; @@ -1334,9 +1334,10 @@ let ksprintf k = mkprintf true (fun _ -> formatter_of_buffer b) k ;; -let kprintf = ksprintf;; - let sprintf fmt = ksprintf (fun s -> s) fmt;; +(* Obsolete alias for ksprintf. *) +let kprintf = ksprintf;; + at_exit print_flush ;; |