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

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

On Mon, Jan 26, 2004 at 01:55:49PM +0100, Nicolas Cannasse wrote:
> I agree with that, this is the correct behavior for a (string,string list)
> input, but what about a (char,string) input ? pos/seek should be expressed
> in the smallest unit of the two parameters ( char ). And here it's getting
> confusing because the \0 string separator is also a char.

What about the following definition: After a "seek inp n" inp is in the
same state as if after its creation exactly n read operations where
performed.

I have attached my proposal for an interface including seek.

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