I think something like Unix.select that works on Pervasives.in_channel would be
very useful (or even necessary, in fact). "Unix.select
[Unix.descr_of_in_channel ic]" doesn't work because of the internal buffering in
Pervasives.in_channel. I've heard Cash has one, but I prefer to have it in pure
OCaml. Please also look at the possible ideas and prototype implementations in
the thread starting at: