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

gcd & lcm, move sqrt with its friends

Browse Source 
svn: r12015

original commit: fd89ef7d419ae721d90008930dbb8e8b0250f34f
This commit is contained in:
Eli Barzilay 2008-10-13 15:56:06 +00:00
parent 579c36806d
commit 9d30470a38
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -314,6 +314,7 @@
[denominator (N . -> . -Integer)]
[rationalize (N N . -> . N)]
[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
[sqrt (N . -> . N)]
[log (N . -> . N)]
[exp (N . -> . N)]
[cos (N . -> . N)]
@ -322,6 +323,8 @@
[acos (N . -> . N)]
[asin (N . -> . N)]
[atan (N . -> . N)]
[gcd (null -Integer . ->* . -Integer)]
[lcm (null -Integer . ->* . -Integer)]
[arithmetic-shift (-Integer -Integer . -> . -Integer)]
[bitwise-and (null N . ->* . N)]
@ -354,7 +357,6 @@
[round (N . -> . N)]
[seconds->date (N . -> . (make-Name #'date))]
[current-seconds (-> N)]
[sqrt (-> N N)]
[path->string (-> -Path -String)]
[link-exists? (-> -Pathlike B)]