From 0dee5c804fa0aa3f01307b75c617decc9500fdce Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 2 Apr 2014 22:35:50 -0700 Subject: [PATCH] Add support for poly dotted types below tc-any-results. original commit: beb981e2af31b0ad6e9ca51e2a29f54a755ae8ad --- .../typed-racket-lib/typed-racket/typecheck/check-below.rkt | 2 +- .../tests/typed-racket/unit-tests/check-below-tests.rkt | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) 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 bf7ed7a3..d10950d5 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 @@ -117,7 +117,7 @@ ;; These two cases have to be first so that bottom (exceptions, etc.) can be allowed in cases ;; where multiple values are expected. ;; We can ignore the filters and objects in the actual value because they would never be about a value - [((or (tc-any-results:) (tc-results: _)) (tc-any-results:)) tr1] + [((or (tc-any-results:) (tc-results: _) (tc-results: _ _ _ _ _)) (tc-any-results:)) tr1] [((tc-result1: (? (lambda (t) (type-equal? t (Un))))) _) (fix-results expected)] 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 03669118..24f858e7 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 @@ -162,6 +162,9 @@ (ret -Symbol -top-filter -empty-obj Univ 'B) (ret (list -Symbol -Symbol) (list -top-filter -top-filter) (list -empty-obj -empty-obj) Univ 'B)) + (test-below (ret -Symbol -true-filter -empty-obj Univ 'B) tc-any-results + #:result (ret -Symbol -true-filter -empty-obj Univ 'B)) + ;; Enable these once check-below is fixed ;; Currently does not fail