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

Make tc-results->values not drop filters.

Browse Source 
original commit: 2ba070c6b31f7c2f7dcd36d52d9cce41b0436d9e
This commit is contained in:
Eric Dobson 2014-05-29 22:43:08 -07:00
parent d974ded412
commit 2b0df2f960
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)
-> ->* one-of/c)
(rep type-rep filter-rep object-rep rep-utils)
(typecheck tc-subst)
(typecheck tc-subst check-below)
(contract-req))
(provide abstract-results
@ -164,10 +164,13 @@
i)])))
(define (tc-results->values tc)
(match tc
[(tc-any-results: _) ManyUniv]
[(tc-results: ts) (-values ts)]
[(tc-results: ts _ _ dty dbound) (-values-dots ts dty dbound)]))
(match (fix-results tc)
[(tc-any-results: f)
(-AnyValues f)]
[(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)
((listof Filter/c)