suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Some more arithmetic functions

Browse Source 
svn: r12011
This commit is contained in:
Eli Barzilay 2008-10-13 15:47:24 +00:00
parent d5028463f2
commit 757c51957e
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-scheme/private/base-env.ss
View File

@ -76,7 +76,6 @@
[newline (cl-> [() -Void] [newline (cl-> [() -Void]
[(-Port) -Void])] [(-Port) -Void])]
[not (-> Univ B)] [not (-> Univ B)]
[floor (-> N N)]
[box (-poly (a) (a . -> . (-box a)))] [box (-poly (a) (a . -> . (-box a)))]
[unbox (-poly (a) ((-box a) . -> . a))] [unbox (-poly (a) ((-box a) . -> . a))]
[set-box! (-poly (a) ((-box a) a . -> . -Void))] [set-box! (-poly (a) ((-box a) a . -> . -Void))]
@ -298,14 +297,21 @@
[exact->inexact (N . -> . N)] [exact->inexact (N . -> . N)]
[inexact->exact (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)] [real-part (N . -> . N)]
[imag-part (N . -> . N)] [imag-part (N . -> . N)]
[magnitude (N . -> . N)] [magnitude (N . -> . N)]
[angle (N . -> . N)] [angle (N . -> . N)]
[numerator (N . -> . -Integer)] [numerator (N . -> . -Integer)]
[denominator (N . -> . -Integer)] [denominator (N . -> . -Integer)]
[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
[log (N . -> . N)]
[exp (N . -> . N)]
[arithmetic-shift (-Integer -Integer . -> . -Integer)] [arithmetic-shift (-Integer -Integer . -> . -Integer)]