From 93ecaa05352fa99636d02cfd4fb31770229c272b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 11 Sep 2010 07:36:21 -0500 Subject: [PATCH] fixed object-contract name tests --- collects/tests/racket/contract-test.rktl | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl index 34221d1572..e0b10c2d85 100644 --- a/collects/tests/racket/contract-test.rktl +++ b/collects/tests/racket/contract-test.rktl @@ -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))