From c7526692372b3b50c332bae5b5af1bc351745f16 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 22 Dec 2004 21:22:22 +0000 Subject: [PATCH] . original commit: 67aec70f5bbfc29b6469303c5aac4ba9bcb87727 --- collects/tests/mzscheme/contract-test.ss | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 6f64bc7..a36f9f4 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -2563,9 +2563,11 @@ (union (-> (>=/c 5) (>=/c 5)) boolean?)) (test-name 'any/c (and/c)) - (test-name 'and/c-contract? (and/c number? integer?)) - (test-name 'and/c-contract? (and/c (flat-contract number?) - (flat-contract integer?))) + (test-name '(and/c any/c) (and/c any/c)) + (test-name '(and/c any/c any/c) (and/c any/c any/c)) + (test-name '(and/c number? integer?) (and/c number? integer?)) + (test-name '(and/c number? integer?) (and/c (flat-contract number?) + (flat-contract integer?))) (test-name '(and/c number? (-> integer? integer?)) (and/c number? (-> integer? integer?))) (test-name '(not/c integer?) (not/c integer?))