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
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
I think I have raised the issue some time ago, but don't remember
why it hasn't been solved as I would like to.
Currently a thread which is killed displays Fail: thread killed,
e.g. in the following program:
import Concurrent
main:: IO ()
main = do
t - forkIO (threadDelay 100