From 53d077c27d87fea3cc398229551f3ac54454f551 Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Fri, 13 Jan 2017 13:46:44 -0500 Subject: [PATCH] Move unsupported `for*/` forms to the unsupported section (#490) because the typechecker can't deal with the code they expand to, just like their `for/` partners already in the unsupported section --- .../scribblings/reference/special-forms.scrbl | 10 +++++----- 1 file changed, 5 insertions(+), 5 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 e48c2145..028c2b94 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -238,12 +238,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 ...+)] @@ -261,6 +256,11 @@ annotated with a @racket[Listof] type. All annotations are optional. @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 ...+)] +@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. }