From 06075c185d113ab73652022c415fdc143c45304c Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 24 Mar 2013 22:40:05 -0700
Subject: [PATCH] Add testcase.

Closes PR 12812.

original commit: d7f12d93f498c530ca4ada47dfc40155b664e281
---
 collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 3c9469f5..73a9de5b 100644
--- 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"