doc contract fix

Closes PR 12163
This commit is contained in:
Matthew Flatt 2011-09-03 13:31:27 -06:00
parent 60325da48c
commit 03991c778c

View File

@ -506,17 +506,17 @@ in the sequence.
@defproc[(sequence-for-each [f (-> any/c ... any)]
[s sequence?])
(void)]{
void?]{
Applies @racket[f] to each element of @racket[s]. If @racket[s] is
infinite, this function does not terminate.}
@defproc[(sequence-fold [f (-> any/c any/c ... any/c)]
[i any/c]
[s sequence?])
(void)]{
any/c]{
Folds @racket[f] over each element of @racket[s] with @racket[i] as
the initial accumulator. If @racket[s] is infinite, this function
does not terminate. @racket[f] takes the accumulator as its first argument
does not terminate. The @racket[f] function takes the accumulator as its first argument
and the next sequence element as its second.}
@defproc[(sequence-count [f procedure?] [s sequence?])
@ -650,14 +650,14 @@ when it is evaluated, otherwise the @exnraise[exn:fail:contract?].}
@defproc[(stream-for-each [f (-> any/c ... any)]
[s stream?])
(void)]{
void?]{
Applies @racket[f] to each element of @racket[s]. If @racket[s] is
infinite, this function does not terminate.}
@defproc[(stream-fold [f (-> any/c any/c ... any/c)]
[i any/c]
[s stream?])
(void)]{
any/c]{
Folds @racket[f] over each element of @racket[s] with @racket[i] as
the initial accumulator. If @racket[s] is infinite, this function
does not terminate.}