From c1a888eb1b4b51ebff2befe35fe6809515c59afb Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Tue, 25 Mar 2014 21:35:19 -0700
Subject: [PATCH] Add test cases for fixed PRs.

Closes PR 13191.
Closes PR 13290.

original commit: 41ea8f3358fc286e44928f510fd7cb37be48f7b4
---
 .../tests/typed-racket/unit-tests/contract-tests.rkt |  1 +
 .../typed-racket/unit-tests/typecheck-tests.rkt      | 12 ++++++++++++
 2 files changed, 13 insertions(+)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
index be78d1d3..7a6fe563 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
@@ -81,6 +81,7 @@
 
               (t (-mu x (-Syntax x)))
               (t (-> (-> Univ -Bottom : -bot-filter) -Bottom : -bot-filter))
+              (t (-poly (A B) (-> A B (Un A B))))
 
 
               (t/fail ((-poly (a) (-vec a)) . -> . -Symbol)
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 d25ec2ff..aaaa816a 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
@@ -2667,6 +2667,18 @@
            (number? x))
          -Boolean]
 
+       [tc-e/t
+         (let ()
+           (: f (Number -> Number))
+           (define (f x)
+             (cond
+               ((zero? x) x)
+               (else (add1 (f (sub1 x))))))
+
+           (define y (f 7))
+           4)
+         -PosByte]
+
         )
   (test-suite
    "tc-literal tests"