diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-07-27 15:04:43 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-30 17:05:35 +0200 |
| commit | 5a8a8a64e793d2efbe9ea7d445cc8efe75d11f80 (patch) | |
| tree | 76ae1b709f396d7105674d44a1f365999b351ead /docs | |
| parent | 24afe6d3aae1a04fbb394fa87d9ca45203ce2b67 (diff) | |
| download | haskell-5a8a8a64e793d2efbe9ea7d445cc8efe75d11f80.tar.gz | |
Don't allowInterrupt inside uninterruptibleMask
This fixes #9516.
Differential Revision: https://phabricator.haskell.org/D181
Authored-by: Edsko de Vries <edsko@well-typed.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index eccf13d431..e00706c4de 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -234,6 +234,22 @@ call. </para> </listitem> + <listitem> + <para> + A new function, <literal>interruptible</literal>, was added + to <literal>GHC.IO</literal> allowing an + <literal>IO</literal> action to be run such that it can be + interrupted by an asynchronous exception, even if exceptions + are masked (except if masked with + <literal>interruptibleMask</literal>). + </para> + <para> + This was introduced to fix the behavior of + <literal>allowInterrupt</literal>, which would previously + incorrectly allow exceptions in uninterruptible regions + (see Trac #9516). + </para> + </listitem> </itemizedlist> </sect3> |