From 7c6b6741417db73f5accc12d772bc54eb9dc2728 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:47:24 +0000 Subject: [PATCH] Some more arithmetic functions svn: r12011 original commit: 757c51957eb0c4089e13dcee78b88488c4e1a4eb --- collects/typed-scheme/private/base-env.ss | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 1f396f12..678bea17 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -76,7 +76,6 @@ [newline (cl-> [() -Void] [(-Port) -Void])] [not (-> Univ B)] -[floor (-> N N)] [box (-poly (a) (a . -> . (-box a)))] [unbox (-poly (a) ((-box a) . -> . a))] [set-box! (-poly (a) ((-box a) a . -> . -Void))] @@ -298,14 +297,21 @@ [exact->inexact (N . -> . N)] [inexact->exact (N . -> . N)] -[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))] -[real? (Univ . -> . B)] +[real? (Univ . -> . B)] +[complex? (Univ . -> . B)] +[rational? (Univ . -> . B)] +[floor (-> N N)] +[ceiling (-> N N)] +[truncate (-> N N)] [real-part (N . -> . N)] [imag-part (N . -> . N)] [magnitude (N . -> . N)] [angle (N . -> . N)] [numerator (N . -> . -Integer)] [denominator (N . -> . -Integer)] +[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))] +[log (N . -> . N)] +[exp (N . -> . N)] [arithmetic-shift (-Integer -Integer . -> . -Integer)]