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

make contracts slightly more readable for

Browse Source 
the get-location arguments to make-input-port
and make-output-port
This commit is contained in:
Robby Findler 2013-01-24 11:45:27 -06:00
parent a80830ab1d
commit 27442fa44c
1 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/scribblings/reference/custom-ports.scrbl
View File

@ -31,9 +31,8 @@ written.
#f) #f)
#f] #f]
[get-location (or/c [get-location (or/c
(() (->
. ->* . (values (or/c exact-positive-integer? #f)
((or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-nonnegative-integer? #f)
(or/c exact-positive-integer? #f))) (or/c exact-positive-integer? #f)))
#f) #f)
@ -722,9 +721,8 @@ s
#f) #f)
#f] #f]
[get-location (or/c [get-location (or/c
(() (->
. ->* . (values (or/c exact-positive-integer? #f)
((or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-nonnegative-integer? #f)
(or/c exact-positive-integer? #f))) (or/c exact-positive-integer? #f)))
#f) #f)