Add type for integer-sqrt. Closes PR 11427.

original commit: 7a7fe577cd464c80b4b344aef4a072c25c7652fa
2010-11-22 17:24:53 -05:00 · 2010-11-22 17:24:53 -05:00 · 67eb57c526
commit 67eb57c526
parent b9303a1f4b
1 changed files with 6 additions and 0 deletions
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@ -414,6 +414,12 @@
       (-NonnegativeFlonum . -> . -NonnegativeFlonum)
       (-FloatComplex . -> . -FloatComplex)
       (N . -> . N))]
+[integer-sqrt (cl->*
+               (-Zero . -> . -Zero)
+               (-NonnegativeFixnum . -> . -NonnegativeFixnum)
+               (-Nat . -> . -Nat)
+               (-NonnegativeFlonum . -> . -NonnegativeFlonum)
+               (-Real . -> . N))]
 [log (cl->*
      (-Pos . -> . -Real)
      (-FloatComplex . -> . -FloatComplex)