Add testcase.

Closes PR 12812. original commit: d7f12d93f498c530ca4ada47dfc40155b664e281
2013-03-24 22:40:05 -07:00 · 2013-03-24 22:40:05 -07:00 · 06075c185d
commit 06075c185d
parent 44c905cf88
1 changed files with 3 additions and 0 deletions
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@ -1622,6 +1622,9 @@
          (ann 
            ((letrec ((x (lambda (acc #{ v : Symbol}) (if v (list v) acc)))) x) null (list 'bad 'prog))
            (Listof Symbol))]
+        [tc-e (filter values empty)
+              (-lst -Bottom)]
+
        )
  (test-suite
   "check-type tests"