Fix type of sqr.

2011-03-21 16:06:11 -04:00 · 2011-03-21 16:06:11 -04:00 · 60cc8c4453
commit 60cc8c4453
parent 0641d7bd78
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)