From eb8c2d33b1097309a46e1a13c665fa50bf52f980 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 6 Jul 2014 20:26:16 -0700 Subject: [PATCH] Add docs about optional type annotation to let/ec and let/ec:. --- .../typed-racket/scribblings/reference/legacy.scrbl | 6 ++++-- .../typed-racket/scribblings/reference/special-forms.scrbl | 3 ++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl index d85e7fa18a..ec32ea95ed 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl @@ -99,8 +99,10 @@ Type-annotated versions of @deftogether[[ @defform[(let/cc: v : t . body)] -@defform[(let/ec: v : t . body)]]]{Type-annotated versions of -@racket[let/cc] and @racket[let/ec].} +@defform[(let/ec: v : t . body)]]]{ +Type-annotated versions of @racket[let/cc] and @racket[let/ec]. +As with @racket[let:], the type annotation is optional. +} @defform*[[(define: v : t e) (define: (a ...) v : t e) 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 8a586cbc7d..a9c384e7cb 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 @@ -111,7 +111,8 @@ Type-annotated versions of @|letrec-id|, @|let*-id|, @|let-values-id|, @deftogether[[ @defform[(let/cc v : t . body)] @defform[(let/ec v : t . body)]]]{ - Type-annotated versions of @|let/cc-id| and @|let/ec-id|. + Type-annotated versions of @|let/cc-id| and @|let/ec-id|. As with + @racket[let], the type annotation is optional. } @section{Anonymous Functions}