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

added any tests for ->*

Browse Source 
original commit: ef57a1802c535ac2f2cd170326b1db570ee527a0
This commit is contained in:
Robby Findler 2003-04-15 17:50:27 +00:00
parent a21012b763
commit 90c28fbefe
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -165,6 +165,43 @@
1 2 'bad)
"neg")
(test/spec-passed
'contract-arrow-star11
'(let-values ([(a b) ((contract (->* (integer?)
(listof integer?)
any)
(lambda (x) (values x x))
'pos
'neg)
2)])
1))
(test/spec-failed
'contract-arrow-star12
'((contract (->* (integer?) (listof integer?) any)
(lambda (x) (values x x))
'pos
'neg)
#f)
"neg")
(test/spec-passed
'contract-arrow-star13
'((contract (->* (integer?) (listof integer?) any)
(lambda (x . y) 1)
'pos
'neg)
1 2))
(test/spec-failed
'contract-arrow-star14
'((contract (->* (integer?) (listof integer?) any)
(lambda (x . y) 1)
'pos
'neg)
1 2 'bad)
"neg")
(test/spec-passed
'contract-arrow-values1
'(let-values ([(a b) ((contract (-> integer? (values integer? integer?))