diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-23 11:16:33 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-23 11:16:33 +0000 |
commit | bbbe01a9e441547b1ac43f33e1e326eee9daa237 (patch) | |
tree | ffc59d63ffb1b32ad80e3c280d648cae19d0c7cb | |
parent | b906a69535d0392613fd3987fcd94056ca574d0c (diff) |
Doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | stdlib/scanf.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index 6f3ad9e3c..307b2f74e 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -681,9 +681,12 @@ let scan_Float max ib = | c -> bad_float () ;; -(* Scan a regular string: stops when encountering a space or one of the - characters in stp. It also stops when the maximum number of - characters has been read.*) +(* Scan a regular string: + stops when encountering a space, if no scanning indication has been given; + otherwise, stops when encountering one of the characters in the scanning + indication list [stp]. + It also stops at end of file or when the maximum number of characters has + been read.*) let scan_string stp max ib = let rec loop max = if max = 0 then max else |