From 9f656deb259c001fbcf7b172b3c5a1f72375ea54 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 29 Jul 2007 18:56:32 +0000 Subject: [PATCH] changes noticed by Matthew svn: r6980 original commit: 67dd80eb7892c7541f58dea69f5d53350e828a36 --- collects/tests/mzscheme/contract-test.ss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 7bde8f4..84b0cdc 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -4133,9 +4133,7 @@ so that propagation occurs. (test-flat-contract '(>/c 5) 10 5) (test-flat-contract '(integer-in 0 10) 0 11) (test-flat-contract '(integer-in 0 10) 10 3/2) - (test-flat-contract '(exact-integer-in 0 10) 0 11) - (test-flat-contract '(exact-integer-in 0 10) 10 3/2) - (test-flat-contract '(exact-integer-in 0 10) 1 1.0) + (test-flat-contract '(integer-in 0 10) 1 1.0) (test-flat-contract '(real-in 1 10) 3/2 20) (test-flat-contract '(string/len 3) "ab" "abc") (test-flat-contract 'natural-number/c 5 -1) @@ -4355,7 +4353,6 @@ so that propagation occurs. (test-name '(>/c 5) (>/c 5)) (test-name '(between/c 5 6) (between/c 5 6)) (test-name '(integer-in 0 10) (integer-in 0 10)) - (test-name '(exact-integer-in 0 10) (exact-integer-in 0 10)) (test-name '(real-in 1 10) (real-in 1 10)) (test-name '(string/len 3) (string/len 3)) (test-name 'natural-number/c natural-number/c)