7 Apr
2006
7 Apr
'06
8:32 a.m.
On 07 April 2006 13:24, David Roundy wrote:
The catch to this [no pun intended] is that when the main thread exits all other threads are silently terminated, without the chance to clean up...
This is a mistake in GHC, I think. When someone calls exit, or when the main thread exits, all the other threads in the system should be send exceptions too. Cheers, Simon