socket bug in mlton 20000906

[Doug Bagley]

Stephen Weeks wrote:
> Just for fun, I compiled with our latest internal version of MLton
> and got about a 10% speedup.  There will be a release RSN and I'll
> make sure and let you know about it.

Okey doke.

> I would like to change the program to the following, which includes
> calls to TextIO.flushOut after the calls to TextIO.output on the
> sockets.  This is because the new version of MLton buffers sockets
> (unlike the version you have, but like stdio).

Thanks, I've updated that program.

Cheers,
Doug