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

Fix another NaN case in expt.

Browse Source 
Found using random testing. Found 3 times.
This commit is contained in:
Vincent St-Amour 2015-11-05 16:23:40 -06:00
parent 3ef8fe1739
commit 23de6a654e
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1635,7 +1635,6 @@
(-FloatComplex -InexactComplex . -> . -FloatComplex)
(-SingleFlonumComplex -SingleFlonumComplex . -> . -SingleFlonumComplex)
(-SingleFlonumComplex -SingleFlonum . -> . (Un -SingleFlonumComplex -SingleFlonum))
((Un -InexactReal -InexactComplex) -InexactComplex . -> . -InexactComplex)
(-InexactComplex (Un -InexactReal -InexactComplex) . -> . -InexactComplex)
(N N . -> . N))]
[sqrt

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

@ -458,6 +458,7 @@
(tc-e (flexpt -0.0 -1.0) -Flonum)
(tc-e (expt -0.0f0 -3.0) -InexactReal)
(tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Number)
(tc-e (expt (sin +inf.f) +nan.0+nan.0i) -Number)
(tc-e (exact->inexact 3) -PosFlonum)
(tc-e (exact->inexact -3) -NegFlonum)
(tc-e (real->double-flonum 0.0) -FlonumPosZero)