suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added a test

Browse Source 
svn: r7477
This commit is contained in:
Robby Findler 2007-10-10 20:42:42 +00:00
parent 22587c5e4d
commit 992eff0c63
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/tests/mzscheme/contract-test.ss
View File

@ -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