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

Fix contracts in TR.

Browse Source
This commit is contained in:
Eric Dobson 2013-04-03 22:34:52 -07:00
parent 17b9ed0a75
commit 2b8efd6676
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))] [#:fold-rhs (*OrFilter (map filter-rec-id fs))]
[#:frees (λ (f) (combine-frees (map f fs)))]) [#:frees (λ (f) (combine-frees (map f fs)))])
(def-filter FilterSet (thn els) (def-filter FilterSet ([thn Filter/c] [els Filter/c])
[#: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?])]
[#:fold-rhs (*FilterSet (filter-rec-id thn) (filter-rec-id els))]) [#:fold-rhs (*FilterSet (filter-rec-id thn) (filter-rec-id els))])
;; represents no info about the filters of this expression ;; 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^ (define-signature tc-lambda^
([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . tc-results/c)] ([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/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^ (define-signature tc-app^
([cond-contracted tc/app (syntax? . -> . tc-results/c)] ([cond-contracted tc/app (syntax? . -> . tc-results/c)]