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

Fix tc/letrec-values contract and document require-typed-signature

Browse Source
This commit is contained in:
Daniel Feltey 2015-09-12 13:45:33 -05:00
parent 2ad3dc5f75
commit cbb76b987c
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -181,6 +181,11 @@ keyword with @racket[require/typed].}
keyword with @racket[require/typed].}
@defidform[require-typed-struct/provide]{Similar to
@racket[require-typed-struct], but also provides the imported identifiers.}
@defform[
(require-typed-signature sig-name (id ...) (type ...) module)]{
Similar to using the @racket[#:signature] keyword with @racket[require/typed].
Signature variables are matched with their types positionally, the two lists
must have the same length.}
@defidform[pdefine:]{Defines a polymorphic function.}
@defform[(pred t)]{Equivalent to @racket[(Any -> Boolean : t)].}

2
typed-racket-lib/typed-racket/typecheck/signatures.rkt
View File

@ -59,7 +59,7 @@
(define-signature tc-let^
([cond-contracted tc/let-values ((syntax? syntax? syntax?) ((or/c #f tc-results/c)) . ->* . full-tc-results/c)]
[cond-contracted tc/letrec-values ((syntax? syntax? syntax?) ((or/c #f tc-results/c)) . ->* . full-tc-results/c)]))
[cond-contracted tc/letrec-values ((syntax? syntax? syntax?) ((or/c #f tc-results/c) (-> any)) . ->* . full-tc-results/c)]))
(define-signature tc-dots^
([cond-contracted tc/dots (syntax? . -> . (values Type/c symbol?))]))