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

Add type for integer-sqrt. Closes PR 11427.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-11-22 17:24:53 -05:00
parent e10f139ad8
commit 7a7fe577cd
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -414,6 +414,12 @@
(-NonnegativeFlonum . -> . -NonnegativeFlonum) (-NonnegativeFlonum . -> . -NonnegativeFlonum)
(-FloatComplex . -> . -FloatComplex) (-FloatComplex . -> . -FloatComplex)
(N . -> . N))] (N . -> . N))]
[integer-sqrt (cl->*
(-Zero . -> . -Zero)
(-NonnegativeFixnum . -> . -NonnegativeFixnum)
(-Nat . -> . -Nat)
(-NonnegativeFlonum . -> . -NonnegativeFlonum)
(-Real . -> . N))]
[log (cl->* [log (cl->*
(-Pos . -> . -Real) (-Pos . -> . -Real)
(-FloatComplex . -> . -FloatComplex) (-FloatComplex . -> . -FloatComplex)