From 694d2da4b362f83b6f492095c712703856acb068 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Tue, 24 Aug 2010 19:37:04 -0400
Subject: [PATCH] Extend sign analysis to sqr.

---
 collects/typed-scheme/private/base-env-numeric.rkt | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index 737139509c..07701808a3 100644
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@@ -428,11 +428,9 @@
 [sgn (-Real . -> . -Real)]
 [pi -NonnegativeFlonum]
 [sqr (cl->* (-> -Pos -Pos)
-            (-> -Nat -Nat)
-            (-> -Integer -Integer)
+            (-> -Integer -Nat)
             (-> -ExactRational -ExactRational)
-            (-> -NonnegativeFlonum -NonnegativeFlonum)
-            (-> -Flonum -Flonum)
+            (-> -Flonum -NonnegativeFlonum)
             (-> -Real -Real)
             (-> -InexactComplex -InexactComplex)
             (-> N N))]