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

tighten up the contract

Browse Source
This commit is contained in:
Robby Findler 2011-12-15 10:38:38 -06:00
parent c9d214138e
commit a2bbcf8b00
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/planet/planet.scrbl
View File

@ -84,8 +84,8 @@ packages that planet has available, visit
It returns a list matching the contract
@racketblock[(listof (list/c string?
string?
(list/c exact-integer?
exact-integer?)))]
(list/c exact-positive-integer?
exact-nonnegative-integer?)))]
Each sublist represents
the latest version of one of the packages and contains the
userid, the package name (including ".plt"), and