[MLton] bug in runtime system signal blocking

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


In thinking about the problems with the interaction between signals
blocked by user code and signals blocked by us, it occurs to me that
the way that the runtime currently blocks/unblocks signals is
incorrect.  It does not take into account signals that may have been
blocked by user code.  So, when it unblocks, it unblocks every signal
that is handled by SML, including possibly signals that have been
blocked by the user.  Bad.