summaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2009-03-30 08:00:40 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2009-03-30 08:00:40 +0000
commit0515798a72b9eb5ca4f6b845ecd35e11c10b3596 (patch)
treebfb65ed27188ff1d74507af330443b996466ba1d /stdlib
parentcb77d49e01f00a0734e284037b34cdaa1ae1a68f (diff)
downloadocaml-0515798a72b9eb5ca4f6b845ecd35e11c10b3596.tar.gz
Correcting documentation in scan_Char.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/scanf.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml
index 45ae6b1a21..5ea7abc3fd 100644
--- a/stdlib/scanf.ml
+++ b/stdlib/scanf.ml
@@ -744,7 +744,7 @@ let scan_backslash_char max ib =
let c1 = get_digit () in
let c2 = get_digit () in
Scanning.store_char ib (char_for_decimal_code c0 c1 c2) (max - 2)
- | c -> bad_input_char c
+ | c -> bad_input_escape c
;;
let scan_Char max ib =
@@ -753,16 +753,16 @@ let scan_Char max ib =
let c = Scanning.checked_peek_char ib in
if Scanning.eof ib then bad_input "a char" else
match c, s with
- (* Looking for the '\'' at the beginning of the delimited char. *)
+ (* Found the '\'' at the beginning of the delimited char. *)
| '\'', 3 -> loop 2 (Scanning.ignore_char ib max)
- (* Looking for the '\'' at the end of the delimited char. *)
+ (* Found the '\'' at the end of the delimited char. *)
| '\'', 1 -> Scanning.ignore_char ib max
(* Any other char at the beginning or end of the delimited char should be
'\''. *)
| c, (3 | 1) -> character_mismatch '\'' c
(* Found a '\\': check and read this escape char. *)
| '\\', 2 -> loop 1 (scan_backslash_char (Scanning.ignore_char ib max) ib)
- (* The regular case, remember the char, then look for the terminal '\\'. *)
+ (* The regular case, remember the char, then look for the terminal '\''. *)
| c, 2 -> loop 1 (Scanning.store_char ib c max)
(* Any other case is an error, *)
| c, _ -> bad_input_char c in