From a8185f504804c4b0f446c639a50931269a027a55 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 21 Oct 2008 17:58:57 +0000
Subject: [PATCH] Add new test for better error reporting.

svn: r12082

original commit: c6c4a049ee8b658459b5bf6b1564aced1afdd7b8
---
 collects/tests/typed-scheme/fail/unbound-type.ss | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 collects/tests/typed-scheme/fail/unbound-type.ss

diff --git a/collects/tests/typed-scheme/fail/unbound-type.ss b/collects/tests/typed-scheme/fail/unbound-type.ss
new file mode 100644
index 00000000..3ae769ab
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/unbound-type.ss
@@ -0,0 +1,9 @@
+#;
+(exn-pred 1)
+#lang typed-scheme
+
+
+(: f (Foo -> String))
+(define (f x) (string-append x))
+
+(f 1)
\ No newline at end of file