From 251d76073b4f6c48be6bdaa26a3ec4b89aa03d00 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 12 Jun 2007 15:23:54 +0000 Subject: [PATCH] fixed PR 8737 svn: r6596 original commit: 3857b95a7b9886b5884c299206cc411882023fcb --- collects/tests/mzscheme/contract-test.ss | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index bf22e0a..cb1da99 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -5088,6 +5088,18 @@ so that propagation occurs. (eval 'pc19-ans)) 1) + ;; test that unit & contract don't collide over the name `struct' + (test/spec-passed + 'provide/contract20 + '(eval '(module tmp mzscheme + (require (lib "contract.ss") + (lib "unit.ss")) + + (define-struct s (a b)) + + (provide/contract + [struct s ([a number?] + [b symbol?])])))) (contract-error-test #'(begin