From 94a5f215b17b99467fd836fe1ff3c2eeb30dd8ed Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 14 Mar 2014 18:38:49 -0700 Subject: [PATCH] Remove duplicate top-filter empty case. --- .../typed-racket-lib/typed-racket/typecheck/check-below.rkt | 5 ----- .../tests/typed-racket/unit-tests/check-below-tests.rkt | 4 ++++ 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt index 1b3f7305f7..bd5755a9b2 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt @@ -113,11 +113,6 @@ (if (= (length ts) (length ts2)) (ret ts2 fs os) (ret ts2))] - [((tc-result1: t1 f1 o1) (tc-result1: t2 (FilterSet: (Top:) (Top:)) (Empty:))) - (cond - [(not (subtype t1 t2)) - (expected-but-got t2 t1)]) - expected] [((tc-result1: t1 f1 o1) (tc-result1: t2 f2 o2)) (cond [(not (subtype t1 t2)) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt index 0e8dd520b1..93527cb679 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt @@ -78,6 +78,10 @@ (ret (list Univ) (list -no-filter) (list -no-obj)) #:result (ret (list Univ) (list -top-filter) (list -empty-obj))) + (test-below + (ret (list -Symbol) (list -true-filter) (list -empty-obj)) + (ret (list Univ) (list -top-filter) (list -empty-obj))) + (test-below #:fail (ret (list -Symbol) (list -top-filter) (list -empty-obj)) (ret (list Univ) (list -true-filter) (list -no-obj))