From 2b5413539433b9a0b2a8d615b74b16cdb49c6d95 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 5 Feb 2009 15:05:59 +0000 Subject: [PATCH] test fix svn: r13456 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 79d0561175..ee5a483b99 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -612,10 +612,10 @@ (add1 x) 12))] - [tc-e (filter integer? (list 1 2 3 'foo)) + [tc-e (filter exact-integer? (list 1 2 3 'foo)) (-lst -Integer)] - [tc-e (filter even? (filter integer? (list 1 2 3 'foo))) + [tc-e (filter even? (filter exact-integer? (list 1 2 3 'foo))) (-lst -Integer)] [tc-err (plambda: (a ...) [as : a ... a]