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

Some more arithmetic functions

Browse Source 
svn: r12011

original commit: 757c51957eb0c4089e13dcee78b88488c4e1a4eb
This commit is contained in:
Eli Barzilay 2008-10-13 15:47:24 +00:00
parent ee7c4dc30b
commit 7c6b674141
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]
[(-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)]