[MLton] interrupted system call

Henry Cejtin henry@sourcelight.com
Tue, 23 Mar 2004 13:12:19 -0600


If it isn't too expensive (it very likely is), the notion of blocking until the
ML signal handler certainly sounds like it would be the nicest choice.