From 67eb57c52685b3ba70f54f104db457cae0517b3c Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Mon, 22 Nov 2010 17:24:53 -0500
Subject: [PATCH] Add type for integer-sqrt. Closes PR 11427.

original commit: 7a7fe577cd464c80b4b344aef4a072c25c7652fa
---
 collects/typed-scheme/private/base-env-numeric.rkt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index 210b2f6d..b840276b 100644
--- 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)