added a test
svn: r7477 original commit: 992eff0c63b1bb0b12114819c42fdc4e36f00ce4
This commit is contained in:
parent
b04157aa61
commit
c2c79c0d42
|
@ -5191,17 +5191,25 @@ so that propagation occurs.
|
||||||
(test/spec-passed
|
(test/spec-passed
|
||||||
'provide/contract23
|
'provide/contract23
|
||||||
'(begin
|
'(begin
|
||||||
(eval '(module m mzscheme
|
(eval '(module provide/contract23a mzscheme
|
||||||
(require (lib "contract.ss"))
|
(require (lib "contract.ss"))
|
||||||
(provide/contract [f integer?])
|
(provide/contract [f integer?])
|
||||||
(define f 3)))
|
(define f 3)))
|
||||||
|
|
||||||
(eval '(module n mzscheme
|
(eval '(module provide/contract23b mzscheme
|
||||||
(require m)
|
(require provide/contract23a)
|
||||||
(#%expression f)
|
(#%expression f)
|
||||||
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
|
(contract-error-test
|
||||||
#'(begin
|
#'(begin
|
||||||
|
|
Loading…
Reference in New Issue
Block a user