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

Document plet:.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-10-14 16:15:52 -04:00
parent 9c11324cec
commit aeddd7c18c
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-racket/scribblings/reference/special-forms.scrbl
View File

@ -67,6 +67,11 @@ result of @racket[_loop] (and thus the result of the entire
[(even? (car lst)) (loop (cons (car lst) accum) (cdr lst))] [(even? (car lst)) (loop (cons (car lst) accum) (cdr lst))]
[else (loop accum (cdr lst))]))) [else (loop accum (cdr lst))])))
(filter-even-loop (list 1 2 3 4))]} (filter-even-loop (list 1 2 3 4))]}
@defform[(plet: (a ...) ([v : t e] ...) . body)]{
A polymorphic version of @racket[let:], abstracted over the type variables
@racket[a]. The type variables @racket[a] are bound in both the types
of the formal, and in any type expressions in the @racket[body].
Does not support the looping form of let.}
@deftogether[[ @deftogether[[
@defform[(letrec: ([v : t e] ...) . body)] @defform[(letrec: ([v : t e] ...) . body)]