summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-02-07 13:39:48 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-02-07 13:39:48 +0000
commitf065ad5698780588f2660a73959036f973d28def (patch)
tree4d7f2af1af3efd3f44fb185464d1f02cd9a773a1
parenta776e35b9e7e38f3cb21aa934ae8cac57aec1a57 (diff)
better documentation for format6
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/pervasives.mli11
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli
index b76e3233b..afb7e50d1 100644
--- a/stdlib/pervasives.mli
+++ b/stdlib/pervasives.mli
@@ -877,11 +877,12 @@ external decr : int ref -> unit = "%decr"
['a] is the type of the parameters of the format,
['b] is the type of the first argument given to
[%a] and [%t] printing functions,
- ['c] is the type of the argument transmitted to the first argument of
- "kprintf"-style functions,
- ['d] is the result type for the "scanf"-style functions,
- ['e] is the type of the receiver function for the "scanf"-style functions,
- ['f] is the result type for the "printf"-style function.
+ ['c] is the type of the result of the [%a] and [%t] functions, and
+ also the type of the argument transmitted to the first argument
+ of [kprintf]-style functions,
+ ['d] is the result type for the [scanf]-style functions,
+ ['e] is the type of the receiver function for the [scanf]-style functions,
+ ['f] is the result type for the [printf]-style function.
*)
type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6