From: Nicolas C. <war...@fr...> - 2004-04-09 11:47:56
|
> I'm slightly confused as to why the block reading primitive in the new > IO module is the equivalent of Pervasives.really_input rather than > Pervasives.input. It seems rather odd to have an input abstraction > provide, as a primitive, a function which cannot be used on stdin... Could you explain how really_input cannot be used on stdin ? Maybe I misunderstood the differences with input, but the documentation doesn't say anything about really_input not working on stdin. Regards, Nicolas Cannasse |