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

Fix contracts on TR functions

Browse Source 
original commit: 86093f88beb97120f1fe41a38e8c4741ff1043bc
This commit is contained in:
Asumu Takikawa 2013-07-09 17:48:17 -04:00
parent 0dd6b87991
commit fcc096d51d
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)]))
(define-signature check-class^
;; FIXME: make sure this is correct
([cond-contracted check-class (syntax? Type/c . -> . any)]))
([cond-contracted check-class (syntax? (or/c tc-results/c #f) . -> . any)]))
(define-signature tc-if^
([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
[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
(PolyDots? (listof Type/c) Type/c symbol? . -> . Type/c)]
[fv (Rep? . -> . (listof symbol?))]