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

Remove dead code in tc-metafunctions.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-23 22:49:21 -07:00
parent d718a66d97
commit aedf612a06
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -161,11 +161,6 @@
(? values i))) (? values i)))
i)]))) i)])))
(define (merge-filter-sets fs)
(match fs
[(list (FilterSet: f+ f-) ...)
(-FS (make-AndFilter f+) (make-AndFilter f-))]))
(define (tc-results->values tc) (define (tc-results->values tc)
(match tc (match tc
[(tc-any-results:) ManyUniv] [(tc-any-results:) ManyUniv]