From bd6a071a0ed043119f9c6ed564191be65b5792d0 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 27 Oct 2002 20:27:45 +0000
Subject: [PATCH] ..

original commit: be1fdd992867a7067aae40c45678ddc7b4973626
---
 collects/tests/mzscheme/contracts.ss | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/collects/tests/mzscheme/contracts.ss b/collects/tests/mzscheme/contracts.ss
index 3e03228..a943285 100644
--- a/collects/tests/mzscheme/contracts.ss
+++ b/collects/tests/mzscheme/contracts.ss
@@ -501,7 +501,23 @@
                    (s? (make-s 1))
                    (set-s-a! (make-s 1) 2)))))
   
-  
-  ))
+  (test/spec-passed
+   'provide/contract4
+   '(let ()
+      (eval '(module contract-test-suite5 mzscheme
+               (require (lib "contracts.ss"))
+               (provide/contract (struct s ((a any?)))
+                                 (struct t ((a any?))))
+               (define-struct s (a))
+               (define-struct t (a))))
+      (eval '(require contract-test-suite5))
+      (eval '(list (make-s 1)
+                   (s-a (make-s 1))
+                   (s? (make-s 1))
+                   (set-s-a! (make-s 1) 2)
+                   (make-t 1)
+                   (t-a (make-t 1))
+                   (t? (make-t 1))
+                   (set-t-a! (make-t 1) 2)))))))
 
 (report-errs)
\ No newline at end of file