From e357d38c7c2eb2b3f596b7820264d7e4f5a29987 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 27 Jul 2006 17:12:18 +0000 Subject: [PATCH] Undo the following revisions: r3839 r3825 r3823 r3821 r3820 (undo only the changes in drscheme/private/debug.ss) r3792 r3791 They will be re-done after v352 is released svn: r3843 original commit: 5099b078c6bc07d83e0b11d486e342905a87ede4 --- collects/tests/mzscheme/contract-test.ss | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index fe131fa..782edce 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -4243,7 +4243,7 @@ ;; (at the end, becuase they are slow w/out .zo files) ;; - (test/spec-passed + (test/spec-passed 'provide/contract1 '(let () (eval '(module contract-test-suite1 mzscheme @@ -4417,19 +4417,6 @@ [s-a 3]))) (eval '(require n)))) - (test/spec-passed - 'provide/contract11 - '(parameterize ([current-namespace (make-namespace)]) - (eval '(module m mzscheme - (require (lib "contract.ss")) - (define x 1) - (provide/contract [rename x y integer?] - [rename x z integer?]))) - (eval '(module n mzscheme - (require m) - (+ y z))) - (eval '(require n)))) - ;; this test is broken, not sure why #| (test/spec-failed