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