From ad939ca68bef29300fd5e07175467e00e392cb75 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 26 Mar 2003 19:00:08 +0000
Subject: [PATCH] ..

original commit: 113882be12cb5f6a6d3072afc0dd268b8ff44254
---
 collects/tests/mzscheme/contract-test.ss | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 3bc167a..479a094 100644
--- 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