Here goes nothing..
Simon Marlow
simonmar@microsoft.com
Mon, 3 Jun 2002 12:14:40 +0100
> "C.Reinke" <C.Reinke@ukc.ac.uk> writes:
> >
> > > Thanks for reporting this; now fixed.
> > >=20
> > > --sigbjorn
> >=20
> > Thanks for fixing;
> > as usual, I'm impressed by this efficiency!-)
> >=20
>=20
> 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