..

original commit: 113882be12cb5f6a6d3072afc0dd268b8ff44254
2003-03-26 19:00:08 +00:00 · 2003-03-26 19:00:08 +00:00 · ad939ca68b
commit ad939ca68b
parent a42d30f299
1 changed files with 9 additions and 0 deletions
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@ -517,6 +517,15 @@
      (contracted-func
       "I'm a string constant with side effects"
       "ans")))
+
+  (test/spec-passed
+   'define/contract7
+   '(let ()
+      (eval '(module contract-test-suite-define1 mzscheme
+               (require (lib "contract.ss"))
+               (define/contract x string? "a")
+               x))
+      (eval '(require contract-test-suite-define1))))
  
  (test/spec-passed
   'provide/contract1