From c2c79c0d4221fc03b7e5405d3ce2cf19a00dcead Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 10 Oct 2007 20:42:42 +0000 Subject: [PATCH] added a test svn: r7477 original commit: 992eff0c63b1bb0b12114819c42fdc4e36f00ce4 --- collects/tests/mzscheme/contract-test.ss | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 71b15b3..3abcba5 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -5191,17 +5191,25 @@ so that propagation occurs. (test/spec-passed 'provide/contract23 '(begin - (eval '(module m mzscheme + (eval '(module provide/contract23a mzscheme (require (lib "contract.ss")) (provide/contract [f integer?]) (define f 3))) - (eval '(module n mzscheme - (require m) + (eval '(module provide/contract23b mzscheme + (require provide/contract23a) (#%expression f) f)) - (eval '(require n)))) + (eval '(require provide/contract23b)))) + + (test/spec-passed + 'provide/contract24 + '(begin + (eval '(module provide/contract24 mzscheme + (require (prefix c: (lib "contract.ss"))) + (c:case-> (c:-> integer? integer?) + (c:-> integer? integer? integer?)))))) (contract-error-test #'(begin