Fail: thread killed

George Russell ger@tzi.de
Wed, 07 Mar 2001 18:09:20 +0100


Marcin 'Qrczak' Kowalczyk wrote:
[snip]
> Since the very purpose of killThread is to kill the damn thread,
> I find it inconvenient to have to wrap any thread which is supposed
> to be killable with Exception.catch to avoid the message. Worse:
> it should use block and unblock, otherwise there is a small window
> where killing the thread will still display the message.
[snip]
I agree with this.  I also find it mildly irritating having to
catch exceptions to stop GHC informing me that it's just garbage
collected a thread which is permanently deadlocked.