From 98af93764195a0b34d659cc02a383a4fe0e26419 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 16 Apr 2014 17:09:42 -0400 Subject: [PATCH] Fix TR reference docs for `for` Please merge to v6.0.1 original commit: e3f7aa4df200bf6250adb02d1ba8c547639960cb --- .../typed-racket/scribblings/reference/special-forms.scrbl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl index 6ac58ca6..878e0b78 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -215,11 +215,10 @@ To see how to declare a type for @racket[add-map], see the @code:line[#:when guard]] [binding id [id : t]])]{ -Like @|for-id| from @racketmodname[racket/base], but each @racket[id] having the associated type +Like @|for-id| from @racketmodname[racket/base], but each @racket[id] has the associated type @racket[t]. Since the return type is always @racket[Void], annotating -the return type of a @racket[for] form is optional. Unlike -@racket[for], multi-valued @racket[seq-expr]s are not supported. -Type annotations in clauses are optional for all @racket[for:] +the return type of a @racket[for] form is optional. +Type annotations in clauses are optional for all @racket[for] variants. }