From 5239b94d6524c9e0536d3fa2695ff8505dc71cf9 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 7 Oct 2008 21:55:45 +0000
Subject: [PATCH] New test for bug found by eli.

svn: r11969

original commit: 665da912c8d1ed05a973a1cb3d2679678a94187b
---
 collects/tests/typed-scheme/fail/nested-tvars.ss | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 collects/tests/typed-scheme/fail/nested-tvars.ss

diff --git a/collects/tests/typed-scheme/fail/nested-tvars.ss b/collects/tests/typed-scheme/fail/nested-tvars.ss
new file mode 100644
index 00000000..9a03b559
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/nested-tvars.ss
@@ -0,0 +1,9 @@
+#lang typed-scheme
+
+(: f (All (a) (a -> a)))
+(define (f x)
+ (: g (All (b) (a (Listof a) -> (Listof a))))
+ (define (g x y) y)
+ (g "foo" (list "foo")))
+
+(f 3)
\ No newline at end of file