summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2009-11-30 21:47:56 (GMT)
committerPierre Weis <Pierre.Weis@inria.fr>2009-11-30 21:47:56 (GMT)
commitada3c31be9a8d498e76559f46e464e544729b482 (patch)
tree49bef19b19ea4412ec80470c0efa36c039362a52
parent1b5c3a3fbe14c6b728056aeecf9e6de45220bfc5 (diff)
downloadocaml-ada3c31be9a8d498e76559f46e464e544729b482.zip
ocaml-ada3c31be9a8d498e76559f46e464e544729b482.tar.gz
ocaml-ada3c31be9a8d498e76559f46e464e544729b482.tar.bz2
Introducing formatted input channels.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/scanf.ml16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml
index 307b2f7..fb182a0 100644
--- a/stdlib/scanf.ml
+++ b/stdlib/scanf.ml
@@ -18,15 +18,15 @@
(* Scanning buffers. *)
module type SCANNING = sig
-type input_channel;;
+type in_channel;;
-type scanbuf = input_channel;;
+type scanbuf = in_channel;;
-val stdin : input_channel;;
+val stdin : in_channel;;
(* The scanning buffer reading from [Pervasives.stdin].
[stdib] is equivalent to [Scanning.from_channel Pervasives.stdin]. *)
-val stdib : scanbuf;;
+val stdib : in_channel;;
(* An alias for [Scanf.stdin], the scanning buffer reading from
[Pervasives.stdin]. *)
@@ -105,7 +105,7 @@ val name_of_input : scanbuf -> string;;
source for input buffer [ib]. *)
val from_string : string -> scanbuf;;
-val from_channel : in_channel -> scanbuf;;
+val from_channel : Pervasives.in_channel -> scanbuf;;
val from_file : string -> scanbuf;;
val from_file_bin : string -> scanbuf;;
val from_function : (unit -> char) -> scanbuf;;
@@ -118,7 +118,7 @@ module Scanning : SCANNING = struct
(* The run-time library for scanf. *)
type file_name = string;;
-type input_channel = {
+type in_channel = {
mutable eof : bool;
mutable current_char : char;
mutable current_char_is_valid : bool;
@@ -131,7 +131,7 @@ type input_channel = {
}
;;
-type scanbuf = input_channel;;
+type scanbuf = in_channel;;
let null_char = '\000';;
@@ -355,7 +355,7 @@ end
(* Formatted input functions. *)
type ('a, 'b, 'c, 'd) scanner =
- ('a, Scanning.scanbuf, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c
+ ('a, Scanning.in_channel, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c
;;
external string_to_format :