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

add type for 2-arg `atan'

Browse Source 
original commit: 9ab4887e580d17d756e70642168c8c2171b92df1
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:26:33 -04:00
parent 7d53ae96a1
commit 11ae3af9b3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -136,7 +136,7 @@
[tan (N . -> . N)]
[acos (N . -> . N)]
[asin (N . -> . N)]
[atan (N . -> . N)]
[atan (cl->* (N . -> . N) (-Real -Real . -> . N))]
[gcd (null -Integer . ->* . -Integer)]
[lcm (null -Integer . ->* . -Integer)]