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

[Nicolas C. <war...@fr...>]

> Just two comments.
>
> > exception No_more_input
>
> Why not just End_of_file?

We're talking here about abstract IO, that means that the underlying "item"
we're reading from can be a file, or a string, or anything else...

> 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
>
>  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.

Theses two looks ok and could be added, but we need more closures to
implement them in an abstract way and we're not sure they can succeed ( seek
with negative index on a socket for example ).
The semantics is also not clear : for exemple if I create a (string,string
list) file-based output and write "HELLO" "WORLD" then I will be able to
read "HELLOWORLD" in one time from the corresponding input - that means that
I write 2 strings and read 1. Seek and pos units are based on a "character"
unit , while we're working here with a more abstract "token" type.

Regards,
Nicolas Cannasse