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

fix ->r docs

Browse Source
This commit is contained in:
Robby Findler 2011-03-31 18:05:35 -05:00
parent d4e6f99b74
commit 44193bda4c
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/mzlib/scribblings/contract.scrbl
View File

@ -230,13 +230,11 @@ This is a restricted form of @racketmodname[racket/contract]'s
}
@defform*[((->r ([dom-x contract-dom-expr] ...) any)
(->r ([dom-x contract-dom-expr] ...)
(values [rng-x contract-rng-expr] ...)
post-cond-expr)
(->r ([dom-x contract-dom-expr] ...)
contract-rng-expr
rng-x))]{
@defform*/subs[((->r ([dom-x contract-dom-expr] ...) rng)
(->r ([dom-x contract-dom-expr] ...) rest-x contract-rest-expr rng))
((rng any
(values contract-expr ...)
contract-expr))]{
The @racket[->r] form is a simplified version of @racketmodname[racket/contract]'s @|r:->i|, where
each @racket[contract-dom-expr] is parameterized over all of the @racket[dom-x] variables