Extend sign analysis to sqr.

original commit: 694d2da4b362f83b6f492095c712703856acb068
2010-08-24 19:37:04 -04:00 · 2010-08-24 19:37:04 -04:00 · ee39b520ce
commit ee39b520ce
parent 4d0a7b1d97
1 changed files with 2 additions and 4 deletions
--- 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))]