From 1acf42513ed80d7c684c07d283ab85c7b9d85a20 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 13 Feb 2008 18:26:29 +0000
Subject: [PATCH] added a test case for a bug that turned out to be in
 mzscheme, but just to make sure it don't come back ...

svn: r8648
---
 collects/tests/mzscheme/contract-test.ss | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 5c720d8db9..c3b0de06c3 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -5472,6 +5472,24 @@ so that propagation occurs.
       (eval '(require 'provide/contract26))
       (eval '(pc26-s-a (make-pc26-s 1))))
    1)
+  
+  (test/spec-passed/result
+   'provide/contract27
+   '(begin
+      (eval '(module provide/contract27a scheme/base
+               (require scheme/contract)
+               (define-struct person (name) #:transparent)
+               (provide/contract (struct person ([name string?])))))
+      (eval '(module provide/contract27b scheme/base
+               (require 'provide/contract27a)
+               (provide (struct-out person))))
+      (eval '(module provide/contract27c scheme/base
+               (require 'provide/contract27b)
+               (define provide/contract27ans (person-name (make-person "me")))
+               (provide provide/contract27ans)))
+      (eval '(require 'provide/contract27c))
+      (eval 'provide/contract27ans))
+   "me")
 
   (contract-error-test
    #'(begin