fix docs for `time'

The `time' form allows multiple forms and as an internal-definition
context.
This commit is contained in:
Matthew Flatt 2012-11-19 09:38:58 -07:00
parent be20ecc8f3
commit 0f5308514a

View File

@ -138,11 +138,11 @@ The reliability of the timing numbers depends on the platform. If
multiple Racket threads are running, then the reported time may
include work performed by other threads.}
@defform[(time expr)]{
@defform[(time body ...+)]{
Reports @racket[time-apply]-style timing information for the
evaluation of @racket[expr] directly to the current output port. The
result is the result of @racket[expr].}
result is the result of the last @racket[body].}
@; ----------------------------------------------------------------------