From 60cc8c44537993882e41c3835c112a64b48c7d4c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 21 Mar 2011 16:06:11 -0400 Subject: [PATCH] Fix type of sqr. --- collects/typed-scheme/private/base-env-numeric.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index eb17a8eeda..4472218047 100644 --- 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)