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

Fix the fix to flexpt.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-11-09 11:03:32 -06:00
parent 5fe4e6b03f
commit 6a2c8ca9f7
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -569,7 +569,7 @@
(from-cases (-FlZero -PosFl . -> . -FlZero) ; (flexpt -0.0 0.1) -> 0.0 ; not sign preserving
((Un -PosFl -NegFl) -FlZero . -> . -PosFl) ; always returns 1.0
;; can underflow, and -0.0 breaks sign, so 1st arg can't be non-neg
(-Pos -Fl . -> . -NonNegFl)
(-PosFl -Fl . -> . -NonNegFl)
(-Fl -Fl . -> . -Fl))))
(define fx->fl-type

8
typed-racket-test/unit-tests/typecheck-tests.rkt
View File

@ -434,11 +434,11 @@
(tan (real->double-flonum 6))
(lcm (*) (exact-round -1.7976931348623153e+308) 6))
-Number)
(tc-e (flexpt 0.5 0.3) -Flonum)
(tc-e (flexpt 0.00000000001 100000000000.0) -Flonum)
(tc-e (flexpt 0.5 0.3) -NonNegFlonum)
(tc-e (flexpt 0.00000000001 100000000000.0) -NonNegFlonum)
(tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN
(tc-e (extflexpt 0.5t0 0.3t0) -ExtFlonum)
(tc-e (extflexpt 0.00000000001t0 100000000000.0t0) -ExtFlonum)
(tc-e (extflexpt 0.5t0 0.3t0) -NonNegExtFlonum)
(tc-e (extflexpt 0.00000000001t0 100000000000.0t0) -NonNegExtFlonum)
(tc-e (extflexpt -2.0t0 -0.5t0) -ExtFlonum) ; NaN
(tc-e (let-values ([(x y) (integer-sqrt/remainder 0)]) (+ x y)) -Zero)
(tc-e (tanh (ann 0 Nonnegative-Integer)) -NonNegReal)