[MLton] interrupted system call

Stephen Weeks MLton@mlton.org
Fri, 26 Mar 2004 10:49:17 -0800


> I  thought  about  it a bit and definitely came to the conclusion that system
> calls not being interruptable is quite bad.   The  canonical  case  would  be
> where I have created some tmp files some where, so I want to catch SIGINT and
> SIGHUP so that I can clean up.  If I am reading from a device or a human, now
> hitting control-C will do nothing.

Is the Signal.restart flag good enough for what you want?  It seems
like it to me.