From 3f61100dcc332329f0de0a7fa246f9ab369559db Mon Sep 17 00:00:00 2001 From: Leif Andersen Date: Thu, 25 May 2017 13:47:24 -0400 Subject: [PATCH] ctype -> ctype? Also void -> void? These two forms are now documented using contracts, which matches with the rest of the FFI docs. --- pkgs/racket-doc/scribblings/foreign/cpointer.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/racket-doc/scribblings/foreign/cpointer.scrbl b/pkgs/racket-doc/scribblings/foreign/cpointer.scrbl index 686ea51bfd..9af03d14e2 100644 --- a/pkgs/racket-doc/scribblings/foreign/cpointer.scrbl +++ b/pkgs/racket-doc/scribblings/foreign/cpointer.scrbl @@ -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