From 0df00e31d53ceb8da8c1f1e00e3d638b80e7ce9f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 22 Jun 2011 17:36:03 -0400 Subject: [PATCH] Add test for PR 10794. --- .../tests/typed-scheme/fail/undefined.rkt | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 collects/tests/typed-scheme/fail/undefined.rkt diff --git a/collects/tests/typed-scheme/fail/undefined.rkt b/collects/tests/typed-scheme/fail/undefined.rkt new file mode 100644 index 0000000000..400e620339 --- /dev/null +++ b/collects/tests/typed-scheme/fail/undefined.rkt @@ -0,0 +1,22 @@ +#; +(exn-pred "Undefined") +#lang scheme/load + +(module A scheme + + (define (f x) (add1 x)) + + (provide f)) + +(module B typed/scheme + + (require/typed 'A [f (Integer -> Integer)]) + + (let () + + (: x Integer) + (define x (f x)) + + (void))) + +(require 'B) \ No newline at end of file