From d732c12b96bfbf4edee14e4ea9b379ef2b7fc81d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 7 Jun 2011 21:13:24 -0400 Subject: [PATCH] Fix documentation of the for: macros. --- collects/typed-scheme/scribblings/ts-reference.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index a5aab7f333..6b9ec58c34 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -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[[