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 David.Matthews@prolingua.co.uk 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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml