ffi/unsafe docs: clarify allocation by (_ptr o ...)

Closes #1827
This commit is contained in:
Matthew Flatt 2018-06-20 18:08:17 -06:00
parent f3fc583c6f
commit 2a5f8408d1

View File

@ -998,7 +998,8 @@ following:
some value, and this value is accessible after the call, to be used some value, and this value is accessible after the call, to be used
by an extra return expression. If @racket[_ptr] is used in this by an extra return expression. If @racket[_ptr] is used in this
mode, then the generated wrapper does not expect an argument since mode, then the generated wrapper does not expect an argument since
one will be freshly allocated before the call.} one will be freshly allocated before the call. The argument is
allocated using @racket[(malloc type-expr)].}
@item{@racket[io] --- combines the above into an @item{@racket[io] --- combines the above into an
@italic{input/output} pointer argument: the wrapper gets the Racket @italic{input/output} pointer argument: the wrapper gets the Racket