Hello, McFly, hello?!

I can't believe there wasn't already a test in there that checked this kind
of thing.  Wait, of course there couldn't have been, because it was specific
to define/contract and with-contract, and _I'm_ writing those tests.  Ah,
well, fixed! :p

svn: r11707

original commit: 41ee6c8ac73f3be893021257b4e057af7c312517

collects/tests/mzscheme/contract-mzlib-test.ss

@@ -1674,6 +1674,18 @@ of the contract library does not change over time.
         (if b (f m) (f #t)))
       (g #f 3))
    "function g")
+
+  (test/spec-failed
+   'define/contract13
+   '(begin
+      (eval '(module foo scheme/base
+	       (require scheme/contract)
+	       (define/contract (foo n)
+		 (-> number? number?)
+		 (+ n 1))
+	       (foo #t)))
+      (eval '(require 'foo)))
+   "module foo")
   
   (test/spec-passed
    'with-contract1