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]