diff options
Diffstat (limited to 'docs/users_guide/exts/ffi.rst')
| -rw-r--r-- | docs/users_guide/exts/ffi.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/exts/ffi.rst b/docs/users_guide/exts/ffi.rst index 22f8f33280..eed9f5a348 100644 --- a/docs/users_guide/exts/ffi.rst +++ b/docs/users_guide/exts/ffi.rst @@ -295,9 +295,10 @@ calling convention ``prim``, e.g.: :: This is used to import functions written in Cmm code that follow an internal GHC calling convention. The arguments and results must be -unboxed types, except that an argument may be of type ``Any`` (by way of +unboxed types, except that an argument may be of type ``Any :: Type`` +or ``Any :: UnliftedType`` (which can be arranged by way of ``unsafeCoerce#``) and the result type is allowed to be an unboxed tuple -or the type ``Any``. +or the types ``Any :: Type`` or ``Any :: UnliftedType``. This feature is not intended for use outside of the core libraries that come with GHC. For more details see the |