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

Fix contracts on TR functions

Browse Source
This commit is contained in:
Asumu Takikawa 2013-07-09 17:48:17 -04:00
parent 6cdc5fb720
commit 86093f88be
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
View File

@ -20,8 +20,7 @@
[cond-contracted check-subforms/with-handlers/check (syntax? tc-results/c . -> . any)])) [cond-contracted check-subforms/with-handlers/check (syntax? tc-results/c . -> . any)]))
(define-signature check-class^ (define-signature check-class^
;; FIXME: make sure this is correct ([cond-contracted check-class (syntax? (or/c tc-results/c #f) . -> . any)]))
([cond-contracted check-class (syntax? Type/c . -> . any)]))
(define-signature tc-if^ (define-signature tc-if^
([cond-contracted tc/if-twoarm ((syntax? syntax? syntax?) (tc-results/c) . ->* . tc-results/c)])) ([cond-contracted tc/if-twoarm ((syntax? syntax? syntax?) (tc-results/c) . ->* . tc-results/c)]))

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt
View File

@ -113,7 +113,8 @@
(provide/cond-contract (provide/cond-contract
[unfold (Mu? . -> . Type/c)] [unfold (Mu? . -> . Type/c)]
[instantiate-poly ((or/c Poly? PolyDots?) (listof Type/c) . -> . Type/c)] [instantiate-poly ((or/c Poly? PolyDots? PolyRow?) (listof Type/c)
. -> . Type/c)]
[instantiate-poly-dotted [instantiate-poly-dotted
(PolyDots? (listof Type/c) Type/c symbol? . -> . Type/c)] (PolyDots? (listof Type/c) Type/c symbol? . -> . Type/c)]
[fv (Rep? . -> . (listof symbol?))] [fv (Rep? . -> . (listof symbol?))]