Hi
I still have a little problem related to streams.
I am reading a sequence of integers from a stream.
I do this through "readline(...)" which
seems to only read strings.
Therefore I have to convert such strings into intgers
which I do with eval_string or parse_string.
Both eval and parse slow down my program a lot.
Is there a faster way to read a sequence of integers
from a stream?
Fabrizio