Re: [Ocaml-lib-devel] Re: Abstract IO

[Achim B. <bl...@la...>]

On Sat, Jan 24, 2004 at 09:55:54AM +0100, Nicolas Cannasse wrote:
> Here's a copy/paste of IO.mli

Just two comments.

> exception No_more_input

Why not just End_of_file?

> val read : ('a, 'b) input -> 'a
> val nread : ('a, 'b) input -> int -> 'b
> val available : ('a, 'b) input -> int option
> val close_in : ('a, 'b) input -> unit

What about

  val seek : ('a, 'b) input -> int -> unit;
  val pos  : ('a, 'b) input -> int;

or, rather, define two input types: a sequential one and one with random
access.

Achim
--=20
________________________________________________________________________
                                                              | \_____/ |
   Achim Blumensath                                          \O/ \___/\ |
   LaBRI / Bordeaux                                          =3Do=3D  \ /\ =
\|
   www-mgi.informatik.rwth-aachen.de/~blume                  /"\   o----|
____________________________________________________________________\___|