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

Fix contracts in TR.

Browse Source 
original commit: 2b8efd66769258c006fd08b571027cdb4fd89a69
This commit is contained in:
Eric Dobson 2013-04-03 22:34:52 -07:00
parent 84c64fb0d0
commit 33fda17516
2 changed files with 2 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
collects/typed-racket/rep/filter-rep.rkt
View File

@ -42,18 +42,7 @@
[#:fold-rhs (*OrFilter (map filter-rec-id fs))]
[#:frees (λ (f) (combine-frees (map f fs)))])
(def-filter FilterSet (thn els)
[#:contract (->i ([t any/c]
[e any/c])
(#:syntax [stx #f])
#:pre (t e)
(and (cond [(Bot? t) #t]
[(Bot? e) (Top? t)]
[else (Filter/c-predicate? t)])
(cond [(Bot? e) #t]
[(Bot? t) (Top? e)]
[else (Filter/c-predicate? e)]))
[result FilterSet?])]
(def-filter FilterSet ([thn Filter/c] [els Filter/c])
[#:fold-rhs (*FilterSet (filter-rec-id thn) (filter-rec-id els))])
;; represents no info about the filters of this expression

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

@ -25,7 +25,7 @@
(define-signature tc-lambda^
([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . tc-results/c)]
[cond-contracted tc/lambda/check (syntax? syntax? syntax? tc-results/c . -> . tc-results/c)]
[cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? syntax? (listof Type/c) tc-results/c . -> . tc-results/c)]))
[cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? (listof Type/c) tc-results/c . -> . tc-results/c)]))
(define-signature tc-app^
([cond-contracted tc/app (syntax? . -> . tc-results/c)]