suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Simplify flsqrt type.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-10 00:02:16 -07:00
parent fc4e216fc2
commit 22342d6a35
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -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