Add test for PR 10794.

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)