summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2009-09-10 07:41:58 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2009-09-10 07:41:58 +0000
commit6aa6323477456f6924f5e2de0de626a087c81ddb (patch)
treebb593764ecdbb852b7a993f31d3dd86065aa0e1b
parentb549b3ee9e45b46e4d3a07e5e69ca5edcfb0cab7 (diff)
downloadocaml-6aa6323477456f6924f5e2de0de626a087c81ddb.tar.gz
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.ml7
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml
index 37c6af8fa6..54f6d6c2cd 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
;;