Skip to content

Commit ada3c31

Browse files
committed
Introducing formatted input channels.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent 1b5c3a3 commit ada3c31

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

stdlib/scanf.ml

+8-8
Original file line numberDiff line numberDiff line change
@@ -18,15 +18,15 @@
1818
(* Scanning buffers. *)
1919
module type SCANNING = sig
2020

21-
type input_channel;;
21+
type in_channel;;
2222

23-
type scanbuf = input_channel;;
23+
type scanbuf = in_channel;;
2424

25-
val stdin : input_channel;;
25+
val stdin : in_channel;;
2626
(* The scanning buffer reading from [Pervasives.stdin].
2727
[stdib] is equivalent to [Scanning.from_channel Pervasives.stdin]. *)
2828

29-
val stdib : scanbuf;;
29+
val stdib : in_channel;;
3030
(* An alias for [Scanf.stdin], the scanning buffer reading from
3131
[Pervasives.stdin]. *)
3232

@@ -105,7 +105,7 @@ val name_of_input : scanbuf -> string;;
105105
source for input buffer [ib]. *)
106106

107107
val from_string : string -> scanbuf;;
108-
val from_channel : in_channel -> scanbuf;;
108+
val from_channel : Pervasives.in_channel -> scanbuf;;
109109
val from_file : string -> scanbuf;;
110110
val from_file_bin : string -> scanbuf;;
111111
val from_function : (unit -> char) -> scanbuf;;
@@ -118,7 +118,7 @@ module Scanning : SCANNING = struct
118118
(* The run-time library for scanf. *)
119119
type file_name = string;;
120120

121-
type input_channel = {
121+
type in_channel = {
122122
mutable eof : bool;
123123
mutable current_char : char;
124124
mutable current_char_is_valid : bool;
@@ -131,7 +131,7 @@ type input_channel = {
131131
}
132132
;;
133133

134-
type scanbuf = input_channel;;
134+
type scanbuf = in_channel;;
135135

136136
let null_char = '\000';;
137137

@@ -355,7 +355,7 @@ end
355355
(* Formatted input functions. *)
356356

357357
type ('a, 'b, 'c, 'd) scanner =
358-
('a, Scanning.scanbuf, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c
358+
('a, Scanning.in_channel, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c
359359
;;
360360

361361
external string_to_format :

0 commit comments

Comments
 (0)