Fix documentation of the for: macros.

original commit: d732c12b96bfbf4edee14e4ea9b379ef2b7fc81d
This commit is contained in:
Vincent St-Amour 2011-06-07 21:13:24 -04:00
parent 31bc5f4b40
commit 2b2d52e646

View File

@ -505,8 +505,9 @@ variants.
]]{
These behave like their non-annotated counterparts, with the exception
that @racket[#:when] clauses can only appear as the last
@racket[for:-clause]. The last @racket[expr] of the body must have
type @racket[u].
@racket[for:-clause]. The return value of the entire form must be of
type @racket[u]. For example, a @racket[for/list:] form would be
annotated with a @racket[Listof] type.
}
@deftogether[[