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

Add promise support to type->contract.

Browse Source 
Closes PR13024.
This commit is contained in:
Eric Dobson 2012-08-15 20:51:35 -07:00 committed by Sam Tobin-Hochstadt
parent a408d6bfbf
commit 09d32d35e0
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-racket/unit-tests/contract-tests.rkt
View File

@ -12,7 +12,8 @@
(define (contract-tests)
(test-suite "Contract Tests"
(t (-Number . -> . -Number))))
(t (-Number . -> . -Number))
(t (-Promise -Number))))
(define-go contract-tests)
(provide contract-tests)

3
collects/typed-racket/private/type-contract.rkt
View File

@ -199,6 +199,9 @@
#`(box/c #,(t->c t))]
[(Pair: t1 t2)
#`(cons/c #,(t->c t1) #,(t->c t2))]
[(Promise: t)
(when flat? (exit (fail)))
#`(promise/c #,(t->c t))]
[(Opaque: p? cert)
#`(flat-named-contract (quote #,(syntax-e p?)) #,(cert p?))]
[(F: v) (cond [(assoc v (vars)) => second]