From bcd5fe531dbcccfa408d1fd7718cdb25f9dde326 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 11 Nov 2015 13:30:24 -0600 Subject: [PATCH] Document for/and and co as not working. --- .../scribblings/reference/special-forms.scrbl | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl index 4a779851..7d325b5b 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -229,12 +229,7 @@ variants. @defform[(for/hasheq type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/hasheqv type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/vector type-ann-maybe (for-clause ...) expr ...+)] -@;defform[(for/flvector type-ann-maybe (for-clause ...) expr ...+)] -@;defform[(for/extflvector type-ann-maybe (for-clause ...) expr ...+)] -@;defform[(for/and type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/or type-ann-maybe (for-clause ...) expr ...+)] -@;defform[(for/first type-ann-maybe (for-clause ...) expr ...+)] -@;defform[(for/last type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/sum type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/product type-ann-maybe (for-clause ...) expr ...+)] @defform[(for/set type-ann-maybe (for-clause ...) expr ...+)] @@ -258,9 +253,16 @@ that @racket[#:when] clauses can only appear as the last @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. All annotations are optional. +} -Deliberately omitted from the above list are @racket[for/flvector], @racket[for/extflvector], -@racket[for/first], @racket[for/last], and @racket[for/and], which aren't yet supported by the typechecker. +@deftogether[[ +@defform[(for/flvector type-ann-maybe (for-clause ...) expr ...+)] +@defform[(for/extflvector type-ann-maybe (for-clause ...) expr ...+)] +@defform[(for/and type-ann-maybe (for-clause ...) expr ...+)] +@defform[(for/first type-ann-maybe (for-clause ...) expr ...+)] +@defform[(for/last type-ann-maybe (for-clause ...) expr ...+)] +]]{ +Like the above, except they are not yet supported by the typechecker. } @deftogether[[