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

Make tc-results->values not drop filters.

Browse Source
This commit is contained in:
Eric Dobson 2014-05-29 22:43:08 -07:00
parent bb25a2332c
commit 2ba070c6b3
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt
View File

@ -5,7 +5,7 @@
(except-in (types abbrev union utils filter-ops tc-result) (except-in (types abbrev union utils filter-ops tc-result)
-> ->* one-of/c) -> ->* one-of/c)
(rep type-rep filter-rep object-rep rep-utils) (rep type-rep filter-rep object-rep rep-utils)
(typecheck tc-subst) (typecheck tc-subst check-below)
(contract-req)) (contract-req))
(provide abstract-results (provide abstract-results
@ -164,10 +164,13 @@
i)]))) i)])))
(define (tc-results->values tc) (define (tc-results->values tc)
(match tc (match (fix-results tc)
[(tc-any-results: _) ManyUniv] [(tc-any-results: f)
[(tc-results: ts) (-values ts)] (-AnyValues f)]
[(tc-results: ts _ _ dty dbound) (-values-dots ts dty dbound)])) [(tc-results: ts fs os)
(make-Values (map -result ts fs os))]
[(tc-results: ts fs os dty dbound)
(make-ValuesDots (map -result ts fs os) dty dbound)]))
(define/cond-contract (resolve atoms prop) (define/cond-contract (resolve atoms prop)
((listof Filter/c) ((listof Filter/c)