From c6c4a049ee8b658459b5bf6b1564aced1afdd7b8 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 21 Oct 2008 17:58:57 +0000 Subject: [PATCH] Add new test for better error reporting. svn: r12082 --- 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 0000000000..3ae769ab65 --- /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