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

fixed object-contract name tests

Browse Source
This commit is contained in:
Robby Findler 2010-09-11 07:36:21 -05:00
parent 7c3327c8f1
commit 93ecaa0535
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/racket/contract-test.rktl
View File

@ -9042,13 +9042,12 @@ so that propagation occurs.
(test-name '(object-contract (m (->d ((x ...) (y ...) (z ...)) () #:rest w ... [x0 ...])))
(object-contract (m (->d ((x number?) (y boolean?) (z pair?)) () #:rest rest-x any/c [result number?]))))
#| ->i FIXME
(test-name '(object-contract (m (->i ((x ...)) () (y ...)))) (object-contract (m (->i ((x number?)) () [result number?]))))
(test-name '(object-contract (m (->i ((x ...) (y ...) (z ...)) () [w ...])))
(test-name '(object-contract (m (->i ((x number?)) (result number?))))
(object-contract (m (->i ((x number?)) () [result number?]))))
(test-name '(object-contract (m (->i ((x number?) (y boolean?) (z pair?)) [result number?])))
(object-contract (m (->i ((x number?) (y boolean?) (z pair?)) () [result number?]))))
(test-name '(object-contract (m (->i ((x ...) (y ...) (z ...)) () #:rest [w ...] [x0 ...])))
(test-name '(object-contract (m (->i ((x number?) (y boolean?) (z pair?)) #:rest [rest-x any/c] [result number?])))
(object-contract (m (->i ((x number?) (y boolean?) (z pair?)) () #:rest [rest-x any/c] [result number?]))))
|#
(test-name '(promise/c any/c) (promise/c any/c))
(test-name '(syntax/c any/c) (syntax/c any/c))