Fail: thread killed

George Russell
Wed, 07 Mar 2001 18:09:20 +0100

Marcin 'Qrczak' Kowalczyk wrote:
> 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.
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.