[MLton] Bug: TextPrimIO does not distinguish between EOF and
no data
Ville Laurikari
ville at laurikari.net
Thu Dec 13 04:35:52 PST 2007
On Wed, Dec 12, 2007 at 11:49:31PM +0200, Vesa Karvonen wrote:
> The problem seems to be that the canInput implementation in
> basis-library/io/imperative-io.fun does not distinguish between
> readArrNB returning NONE (means: eof not seen, any read will block)
> and SOME 0 (means: eof seen and at eof).
>
> Below is a patch that seems to fix the problem. With the patch, I get
Your patch works for me too, with both bug.sml and my real program. I
suggest you commit it. The logic in canInput after your patch seems
correct to me.
--
http://www.iki.fi/vl/
More information about the MLton
mailing list