diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-07-11 18:24:22 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-07-11 18:24:22 +0100 |
| commit | 0f0c1b5bcb2e25645196e6de94003f5aa133dc0e (patch) | |
| tree | acdd054a33a7b21ae95978c670fdfd1475ed2745 /docs/users_guide/ffi-chap.xml | |
| parent | aa39056860a47026b253469f56d623dc6a25e196 (diff) | |
| download | haskell-0f0c1b5bcb2e25645196e6de94003f5aa133dc0e.tar.gz | |
Make an extension for interruptible FFI calls
Diffstat (limited to 'docs/users_guide/ffi-chap.xml')
| -rw-r--r-- | docs/users_guide/ffi-chap.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml index 2fef13515d..c037623a49 100644 --- a/docs/users_guide/ffi-chap.xml +++ b/docs/users_guide/ffi-chap.xml @@ -101,7 +101,9 @@ OK: The problem is that it is not possible in general to interrupt a foreign call safely. However, GHC does provide a way to interrupt blocking system calls which works for - most system calls on both Unix and Windows. A foreign call + most system calls on both Unix and Windows. When the + <literal>InterruptibleFFI</literal> extension is enabled, + a foreign call can be annotated with <literal>interruptible</literal> instead of <literal>safe</literal> or <literal>unsafe</literal>: |