There was an error in the default handler that is supposed to kill a
thread that raises an uncaught exception. Now fixed.
David
Ramana Kumar wrote:
This code segfaults in 5.4 but runs fine in 5.3:
open Thread Unix
val tail = ref (execute("/usr/bin/env",["sleep","0"]))
fun stopTail () = (kill(!tail,Posix.Signal.term); reap (!tail); ())
fun restartTail () = (stopTail() handle OS.SysErr _ => ())
val () = Thread.interrupt (Thread.fork(restartTail,[]))
On Fri, Aug 13, 2010 at 1:36 AM, David Matthews
<[email protected]> wrote:
I'm planning to release Poly/ML 5.4 by the end of this month unless there
are any show-stoppers. I've had a couple of bug reports from Phil Clayton
and fixed those. I've also fixed a few minor bugs so that it will build on
the PowerPC and Sparc. Now is the time to check that your software will run
in the current version and let me know if there are problems. Don't forget
to run
make compiler
twice to build the current version (SVN 1189).
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
