From 5e0670d87e4093a5aad9512b9b27a00915da0a31 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 27 Apr 2014 09:49:48 -0700
Subject: [PATCH] Add tests for empty case-lambdas in apply.

---
 .../typed-racket/unit-tests/typecheck-tests.rkt  | 16 ++++++++++++++++
 1 file changed, 16 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 a8f8bd84f1..dccb5209e4 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
@@ -2881,6 +2881,22 @@
          #:ret (ret -Bottom)
          #:msg #rx"has no cases"]
 
+       [tc-err
+         (let: ([f : (case->) (case-lambda)])
+            (apply f empty))
+         #:ret (ret -Bottom)
+         #:msg #rx"has no cases"]
+       [tc-err
+         (let: ([f : (All (A) (case->)) (case-lambda)])
+            (apply f empty))
+         #:ret (ret -Bottom)
+         #:msg #rx"has no cases"]
+       [tc-err
+         (let: ([f : (All (A ...) (case->)) (case-lambda)])
+            (apply f empty))
+         #:ret (ret -Bottom)
+         #:msg #rx"has no cases"]
+
        [tc-e
          (let ()
            (: a Symbol)