From 95f618043f31397461dd23762a19039c4aa0a15b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 2 Sep 2008 09:31:26 +0000 Subject: [PATCH] docs: mention that killThread on a completed thread is a no-op --- GHC/Conc.lhs | 1 + 1 file changed, 1 insertion(+) diff --git a/GHC/Conc.lhs b/GHC/Conc.lhs index 6239278..b19f520 100644 --- a/GHC/Conc.lhs +++ b/GHC/Conc.lhs @@ -266,6 +266,7 @@ terms of 'throwTo': > killThread tid = throwTo tid ThreadKilled +Killthread is a no-op if the target thread has already completed. -} killThread :: ThreadId -> IO () killThread tid = throwTo tid ThreadKilled -- 1.7.10.4