few minor improvements to the code generated by the contract library

svn: r7339

original commit: 33311ab2114f97ab5e039daa5ce7599dc89d82e4

collects/tests/mzscheme/contract-test.ss

@@ -5151,6 +5151,20 @@ so that propagation occurs.
               [struct s ([a number?]
                          [b symbol?])]))))
   
+  (test/spec-passed
+   'provide/contract21
+   '(begin
+      (eval '(module provide/contract21a mzscheme
+               (require (lib "contract.ss"))
+               (provide/contract [f integer?])
+               (define f 1)))
+      (eval '(module provide/contract21b mzscheme
+               (require-for-syntax provide/contract21a) 
+               (define-syntax (unit-body stx)
+                 f f
+                 #'1)))))
+
+  
   (contract-error-test
    #'(begin
        (eval '(module pce1-bug mzscheme