From 22342d6a3549aa64e983397e853855c3b1c81800 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 10 Apr 2015 00:02:16 -0700 Subject: [PATCH] Simplify flsqrt type. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 375dc6d4..4c1db9db 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -561,9 +561,9 @@ (-Fl . -> . -NonNegFl)))) (define flsqrt-type (fl-type-lambda - (from-cases (map unop (list -FlPosZero -FlNegZero -FlZero - -NonNegFl ; we don't have positive case, possible underflow - -Fl))))) ; anything negative returns nan + (from-cases (map unop (list -FlPosZero -FlNegZero -FlZero -PosFl)) + (-Fl . -> . -NonNegFl)))) + (define flexpt-type (fl-type-lambda (from-cases (-FlZero -PosFl . -> . -FlZero) ; (flexpt -0.0 0.1) -> 0.0 ; not sign preserving