users-guide: Document FFI safety guarantees
ClosedPublic

Authored by bgamari on Jun 28 2017, 3:36 PM.

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
bgamari created this revision.Jun 28 2017, 3:36 PM
simonmar added inline comments.
docs/users_guide/ffi-chap.rst
36

Could give an example of when this is useful, e.g. passing an unpinned ByteArray# to operate on the contents in C land.

44–45

Perhaps be more explicit, and say that GC will never be performed during an unsafe call?

bgamari updated this revision to Diff 12965.Jun 29 2017, 5:17 PM

Address @simonmar's comments

bgamari marked 2 inline comments as done.Jun 29 2017, 6:28 PM
This revision was automatically updated to reflect the committed changes.
simonmar added inline comments.Jul 5 2017, 8:50 AM
docs/users_guide/ffi-chap.rst
32

nit: it's no longer an addendum, it's part of the Haskell 2010 language. (that probably needs updating throughout this chapter actually)

37

sp: "desirable"