From bb25a2332ccd911c69addbc33b4ae8b45afc1cb6 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 29 May 2014 21:37:15 -0700 Subject: [PATCH] Add test requiring filters on AnyValues. --- .../typed-racket/unit-tests/typecheck-tests.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 90ebb97185..c44f67fe2b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -3025,6 +3025,18 @@ #:ret (ret Univ)] [tc-e (stx->list #'(a . b)) #:ret (ret (t:Un (-lst (-Syntax Univ)) (-val #f)))] + + [tc-e/t + (lambda (x) + (define (g y) + (unless (string? y) + (error 'bad-input)) + (eval y)) + (g x) + x) + (t:-> Univ -String + : (-FS (-and (-filter -String '(0 0)) (-not-filter (-val #f) '(0 0))) -bot) + : (make-Path null '(0 0)))] ) (test-suite