
7 Mar
2001
7 Mar
'01
12:09 p.m.
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.
8840
Age (days ago)
8840
Last active (days ago)
0 comments
1 participants
participants (1)
-
George Russell