re-do changes that were undone in r3843

svn: r3859

original commit: bb5b45b181a85a28ee865cffcf2ef42c54a18408
This commit is contained in:
Eli Barzilay 2006-07-28 08:15:46 +00:00
parent e357d38c7c
commit 58359b6418

View File

@ -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,6 +4417,19 @@
[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