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

adjust global-port-print-handler's documented contract to match

Browse Source 
what it does (and what the text says)
This commit is contained in:
Robby Findler 2012-05-29 19:37:08 -05:00
parent efd6772e9a
commit 37ebbfa635
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/scribblings/reference/write.scrbl
View File

@ -309,8 +309,10 @@ default print handler calls the global port print handler (the value
of the @racket[global-port-print-handler] parameter); the default of the @racket[global-port-print-handler] parameter); the default
global port print handler is the same as the default write handler.} global port print handler is the same as the default write handler.}
@defproc*[([(global-port-print-handler) ((any/c output-port?) ((or/c 0 1)) . ->* . any)] @defproc*[([(global-port-print-handler) (->* (any/c output-port?) ((or/c 0 1)) any)]
[(global-port-print-handler [proc (any/c output-port? . -> . any)]) void?])]{ [(global-port-print-handler [proc (or/c (->* (any/c output-port?) ((or/c 0 1)) any)
(any/c output-port? . -> . any))])
void?])]{
A parameter that determines @deftech{global port print handler}, A parameter that determines @deftech{global port print handler},
which is called by the default port print handler (see which is called by the default port print handler (see