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
--
________________________________________________________________________
| \_____/ |
Achim Blumensath \O/ \___/\ |
LaBRI / Bordeaux =o= \ /\ \|
www-mgi.informatik.rwth-aachen.de/~blume /"\ o----|
____________________________________________________________________\___|
pgpnDSpi6NivC.pgp
Description: PGP signature
|
