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

Extended the type signatures of trigonometric operations.

Browse Source 
Include in 5.0 release.
This commit is contained in:
Vincent St-Amour 2010-05-21 17:52:49 -04:00
parent 3c19657848
commit 88dc30aa3c
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -141,12 +141,12 @@
(-Pos . -> . -Real) (-Pos . -> . -Real)
(N . -> . N))] (N . -> . N))]
[exp (N . -> . N)] [exp (N . -> . N)]
[cos (N . -> . N)] [cos (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))]
[sin (N . -> . N)] [sin (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))]
[tan (N . -> . N)] [tan (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))]
[acos (N . -> . N)] [acos (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))]
[asin (N . -> . N)] [asin (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))]
[atan (cl->* (N . -> . N) (-Real -Real . -> . N))] [atan (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N) (-Real -Real . -> . N))]
[gcd (null -Integer . ->* . -Integer)] [gcd (null -Integer . ->* . -Integer)]
[lcm (null -Integer . ->* . -Integer)] [lcm (null -Integer . ->* . -Integer)]