suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ctype -> ctype?

Browse Source 
Also void -> void?

These two forms are now documented using contracts, which matches
with the rest of the FFI docs.
This commit is contained in:
Leif Andersen 2017-05-25 13:47:24 -04:00
parent 07f35d248c
commit 3f61100dcc
No known key found for this signature in database
GPG Key ID: BB90BDDE4DBF7C16
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/racket-doc/scribblings/foreign/cpointer.scrbl
View File

@ -10,12 +10,12 @@ operations manage tags to distinguish pointer types.
[ptr-type (or/c ctype? #f) _pointer]
[racket-to-c (or/c (any/c . -> . any/c) #f) values]
[c-to-racket (or/c (any/c . -> . any/c) #f) values])
ctype]
ctype?]
[(_cpointer/null [tag any/c]
[ptr-type (or/c ctype? #f) _pointer]
[racket-to-c (or/c (any/c . -> . any/c) #f) values]
[c-to-racket (or/c (any/c . -> . any/c) #f) values])
ctype])]{
ctype?])]{
Constructs a C pointer type, @racket[__tag], that gets a specific tag
when converted to Racket, and accept only such tagged pointers when
@ -83,7 +83,7 @@ obtain a tag. The tag is the symbol form of @racketvarfont{id}.}
}
@defproc*[([(cpointer-has-tag? [cptr cpointer?] [tag any/c]) boolean?]
[(cpointer-push-tag! [cptr cpointer?] [tag any/c]) void])]{
[(cpointer-push-tag! [cptr cpointer?] [tag any/c]) void?])]{
These two functions treat pointer tags as lists of tags. As described
in @secref["foreign:pointer-funcs"], a pointer tag does not have any