doc corrections from Doug Orleans

svn: r9004
This commit is contained in:
Matthew Flatt 2008-03-17 15:02:10 +00:00
parent ddc58d73f0
commit f93e2f2de7
3 changed files with 23 additions and 20 deletions

View File

@ -379,7 +379,7 @@ If @scheme[(values res-expr ...)] is used as the last sub-form of
each values must match its respective contract.} each values must match its respective contract.}
@defform*/subs[#:literals (any) @defform*/subs[#:literals (any values)
[(->* (mandatory-dom ...) (optional-dom ...) rest range)] [(->* (mandatory-dom ...) (optional-dom ...) rest range)]
([mandatory-dom dom-expr (code:line keyword dom-expr)] ([mandatory-dom dom-expr (code:line keyword dom-expr)]
[optional-dom dom-expr (code:line keyword dom-expr)] [optional-dom dom-expr (code:line keyword dom-expr)]

View File

@ -270,7 +270,9 @@ spliced into the iteration essentially as follows:
(let-values ([(inner-id ...) inner-expr] ...) (let-values ([(inner-id ...) inner-expr] ...)
(if pre-guard (if pre-guard
(let _body-bindings (let _body-bindings
(loop loop-arg ...)) (if post-guard
(loop loop-arg ...)
_done-expr))
_done-expr)) _done-expr))
_done-expr))) _done-expr)))
] ]

View File

@ -134,12 +134,12 @@ sequence?]{ Returns a sequence that contains the elements of
@scheme[#t], after which the sequence ends.} @scheme[#t], after which the sequence ends.}
@defproc[(make-do-sequence [thunk (->* () @defproc[(make-do-sequence [thunk (->* ()
((any/c . -> . any/c) (values (any/c . -> . any/c)
(any/c . -> . any) (any/c . -> . any)
any/c any/c
(() list? . ->* . any/c) (any/c . -> . any/c)
(() list? . ->* . any/c) (() list? . ->* . any/c)
((any/c) any/c . ->* . any/c)))]) ((any/c) any/c . ->* . any/c)))])
sequence?]{ sequence?]{
Returns a sequence whose elements are generated by the procedures and Returns a sequence whose elements are generated by the procedures and
@ -152,26 +152,27 @@ The @scheme[thunk] results define the generated elements as follows:
@itemize{ @itemize{
@item{The first result is a @scheme[_next-pos] procedure that takes @item{The first result is a @scheme[_pos->element] procedure that takes
the current position and returns the next position.}
@item{The second result is a @scheme[_pos->element] procedure that takes
the current position and returns the value(s) for the current element. the current position and returns the value(s) for the current element.
It is called only once per position.} It is called only once per position.}
@item{The second result is a @scheme[_next-pos] procedure that takes
the current position and returns the next position.}
@item{The third result is the initial position.} @item{The third result is the initial position.}
@item{The fourth result takes the current element value(s) and @item{The fourth result takes the current position and returns a true
returns a true result if the sequence includes the value, and result if the sequence includes the value(s) for the current
false if the sequence should end instead of position, and false if the sequence should end instead of
including the value.} including the value(s).}
@item{The fifth result is like the fourth result, but it determines a @item{The fifth result is like the fourth result, but it takes the
sequence end @italic{after} the current element is already current element value(s) instead of the current position.}
included in the sequence.}
@item{The sixth result is like the fourth result, but it takes both @item{The sixth result is like the fourth result, but it takes both
the current position and the current element value(s).} the current position and the current element values(s) and
determines a sequence end after the current element is already
included in the sequence.}
} }