From aedf612a069fbfad30479148b2fece4f542f30da Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 23 Mar 2014 22:49:21 -0700 Subject: [PATCH] Remove dead code in tc-metafunctions. --- .../typed-racket/typecheck/tc-metafunctions.rkt | 5 ----- 1 file changed, 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt index 13cb9aa723..ee83207adb 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt @@ -161,11 +161,6 @@ (? values 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) (match tc [(tc-any-results:) ManyUniv]