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

Documented optional for: and let: annotations.

Browse Source 
original commit: e0bda30738a696a427d2ffc830789628da1beb4d
This commit is contained in:
Vincent St-Amour 2010-09-16 13:23:47 -04:00
parent 75d628bd68
commit 6b979e393f
2 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/scribblings/more.scrbl
View File

@ -60,7 +60,8 @@ type @racket[(Number -> Number)]. In the body of @racket[id],
The @racket[let:] form is exactly like @racket[let], but type
annotations are provided for each variable bound. Here, @racket[x] is
given the type @racket[Number]. The @racket[let*:] and
@racket[letrec:] are similar.
@racket[letrec:] are similar. Annotations are optional with
@racket[let:] and variants.
@racketblock[
(let-values: ([([x : Number] [y : String]) (values 7 "hello")])

13
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -252,8 +252,8 @@ creating new types, and annotating expressions.
Local bindings, like @racket[let], each with
associated types. In the second form, @racket[_t0] is the type of the
result of @racket[_loop] (and thus the result of the entire
expression as well as the final
expression in @racket[body]).}
expression as well as the final expression in @racket[body]).
Type annotations are optional.}
@deftogether[[
@defform[(letrec: ([v : t e] ...) . body)]
@defform[(let*: ([v : t e] ...) . body)]
@ -262,7 +262,8 @@ result of @racket[_loop] (and thus the result of the entire
@defform[(let*-values: ([([v : t] ...) e] ...) . body)]]]{
Type-annotated versions of
@racket[letrec], @racket[let*], @racket[let-values],
@racket[letrec-values], and @racket[let*-values].}
@racket[letrec-values], and @racket[let*-values]. As with
@racket[let:], type annotations are optional.}
@deftogether[[
@defform[(let/cc: v : t . body)]
@ -297,11 +298,14 @@ A polymorphic function of multiple arities.}
([type-ann-maybe code:blank
@code:line[: Void]]
[for:-clause [id : t seq-expr]
[id seq-expr]
@code:line[#:when guard]])]{
Like @racket[for], but each @racket[id] having the associated type
@racket[t]. Since the return type is always @racket[Void], annotating
the return type of a @racket[for] form is optional. Unlike
@racket[for], multi-valued @racket[seq-expr]s are not supported.
Type annotations in clauses are optional for all @racket[for:]
variants.
}
@deftogether[[
@ -351,7 +355,8 @@ These behave like their non-annotated counterparts.
([step-expr-maybe code:blank
step-expr])]{
Like @racket[do], but each @racket[id] having the associated type @racket[t], and
the final body @racket[expr] having the type @racket[u].
the final body @racket[expr] having the type @racket[u]. Type
annotations are optional.
}