Fix type of sqr.

original commit: 60cc8c44537993882e41c3835c112a64b48c7d4c
2011-03-21 16:06:11 -04:00 · 2011-03-21 16:06:11 -04:00 · 9005984c31
commit 9005984c31
parent 8040ee8831
1 changed files with 3 additions and 2 deletions
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@ -1683,9 +1683,10 @@
                 (unop -PosSingleFlonum)
                 (-> -SingleFlonum -NonNegSingleFlonum)
                 (unop -PosInexactReal)
-                 (-> -InexactReal -InexactReal)
+                 (-> -InexactReal -NonNegInexactReal)
                 (unop -PosReal)
-                 (map unop (list -Real -FloatComplex -SingleFlonumComplex
+                 (-> -Real -NonNegReal)
+                 (map unop (list -FloatComplex -SingleFlonumComplex
                                 -InexactComplex -ExactNumber N)))]
 [conjugate (from-cases
            (map unop all-real-types)