From: Nicolas C. <war...@fr...> - 2004-03-25 20:58:33
|
> > > > I just commited today on the CVS the IO module already presented a few > > > > months ago. > > > > > > IO.ml seems broken. The definition of the "pipe" is incomplete. > > > > > > > That's true...I committed a little fast, > > I just removed "pipe" from the IO module. > > > > Nicolas Cannasse > > So, you made all IO non-blocking. (I mean success of reading operation is > not guaranteed.) It would make an operation like reading the whole > contents of channel into string to be very difficult... > They are blocking : let i = IO.input_channel ch in let data = (match IO.available ch with | None -> failwith "unknown data available" | Some n -> IO.nread ch n ) in IO.close_in i; Nicolas Cannasse |