X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FConc.lhs;h=ec6e0642d1fab84c8c393e99c4321a0ceaa49a7d;hb=fde8cdfd9c57da52b2116884dba6d2b3c7c2fb14;hp=c1b2107d58bfe1f8b64fa6658b9109f2b2959d42;hpb=79ea2dac8f58dace80758c734354258868a1d0a0;p=ghc-base.git diff --git a/GHC/Conc.lhs b/GHC/Conc.lhs index c1b2107..ec6e064 100644 --- a/GHC/Conc.lhs +++ b/GHC/Conc.lhs @@ -310,7 +310,8 @@ In the paper, 'throwTo' is non-blocking; but the library implementation adopts a more synchronous design in which 'throwTo' does not return until the exception is received by the target thread. The trade-off is discussed in Section 9 of the paper. Like any blocking operation, 'throwTo' is therefore interruptible (see Section 5.3 of -the paper). +the paper). Unlike other interruptible operations, however, 'throwTo' +is /always/ interruptible, even if it does not actually block. There is no guarantee that the exception will be delivered promptly, although the runtime will endeavour to ensure that arbitrary