From 0ec881dc60a15b185c0c07ed2c36eaf992a368e9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 21 Oct 2008 20:55:07 +0000 Subject: [PATCH] Fix type of odd and even. svn: r12086 --- collects/typed-scheme/private/base-env.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index e31e1f3ca4..f1452e1303 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -237,8 +237,8 @@ [list-tail (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [positive? (-> N B)] [negative? (-> N B)] -[odd? (-> N B)] -[even? (-> N B)] +[odd? (-> -Integer B)] +[even? (-> -Integer B)] [apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))] [kernel:apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]