"C.Reinke" writes:

...

...

Thanks for reporting this; now fixed.

--sigbjorn

Thanks for fixing; as usual, I'm impressed by this efficiency!-)

fyi, the fix implements what the Report prescribes, but I don't agree with it -- getLine ought not raise an exception on EOF when having read in a partial line. As is, you will lose input if it isn't terminated by a newline. Not too cool.

FWIW, GHC implements the "sensible" semantics for getLine, i.e. it returns the partial line first, then raises EOF if getLine is called again. I guess I didn't read the report carefully enough :-) Cheers, Simon