suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add docs about optional type annotation to let/ec and let/ec:.

Browse Source
This commit is contained in:
Eric Dobson 2014-07-06 20:26:16 -07:00
parent 64a653696c
commit eb8c2d33b1
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl
View File

@ -99,8 +99,10 @@ Type-annotated versions of
@deftogether[[ @deftogether[[
@defform[(let/cc: v : t . body)] @defform[(let/cc: v : t . body)]
@defform[(let/ec: v : t . body)]]]{Type-annotated versions of @defform[(let/ec: v : t . body)]]]{
@racket[let/cc] and @racket[let/ec].} 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) @defform*[[(define: v : t e)
(define: (a ...) v : t e) (define: (a ...) v : t e)

3
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl
View File

@ -111,7 +111,8 @@ Type-annotated versions of @|letrec-id|, @|let*-id|, @|let-values-id|,
@deftogether[[ @deftogether[[
@defform[(let/cc v : t . body)] @defform[(let/cc v : t . body)]
@defform[(let/ec 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} @section{Anonymous Functions}