Non-blocking IO in MLton

--===============2791972299558751016==
Content-Type: multipart/alternative; boundary="0000000000008fbfcd0590ff3c89"

--0000000000008fbfcd0590ff3c89
Content-Type: text/plain; charset="UTF-8"

Hi,

Are the IO functions (including sockets) in MLton non-blocking by default?
(i.e implemented on top of `poll` or similar).

Thanks,

Vijay

-- 
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

--0000000000008fbfcd0590ff3c89
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Hi,</div><div><br></div>Are the IO functions (includi=
ng sockets) in MLton non-blocking by default? <br><div>(i.e implemented on =
top of `poll` or similar). <br></div><div><br></div><div>Thanks,</div><div>=
<br></div><div>Vijay<br></div><div><br></div></div>

<p></p>

-- <br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]">mlton-user+unsu=
[email protected]</a>.<br />

--0000000000008fbfcd0590ff3c89--


--===============2791972299558751016==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============2791972299558751016==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user

--===============2791972299558751016==--