suzanne.soy/typed-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 
original commit: eb8c2d33b1097309a46e1a13c665fa50bf52f980
This commit is contained in:
Eric Dobson 2014-07-06 20:26:16 -07:00
parent 42492cc787
commit eae6a6aa77
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[[
@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)

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[[
@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}