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

Use the new function syntax for define/contract in a couple of tests.

Browse Source 
svn: r11664

original commit: b783ac9b70b80e056bcb0c44120734ae02038f70
This commit is contained in:
Stevie Strickland 2008-09-11 23:53:23 +00:00
parent f5c23fd041
commit 4ba02b716c
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/mzscheme/contract-mzlib-test.ss
View File

@ -1595,13 +1595,19 @@ of the contract library does not change over time.
(i #f)) (i #f))
"top-level") "top-level")
(test/spec-failed
'define/contract5
'(let ()
(define/contract (i x) (-> integer? integer?) 1)
(i #f))
"top-level")
(test/spec-passed (test/spec-passed
'define/contract6 'define/contract6
'(let () '(let ()
(define/contract contracted-func (define/contract (contracted-func label t)
(string? string? . -> . string?) (string? string? . -> . string?)
(lambda (label t) t)
t))
(contracted-func (contracted-func
"I'm a string constant with side effects" "I'm a string constant with side effects"
"ans"))) "ans")))