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

Yet another fix for expt and complexes.

Browse Source 
Found using random testing. Found once.
This commit is contained in:
Vincent St-Amour 2015-11-05 16:32:19 -06:00
parent 5ce00a90d2
commit 9385f6e350
2 changed files with 2 additions and 1 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

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

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

@ -460,6 +460,7 @@
(tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Number)
(tc-e (expt (sin +inf.f) +nan.0+nan.0i) -Number)
(tc-e (/ (gcd 1 0) -0.0f0 2.718281828459045) -Real)
(tc-e (expt (make-polar (floor 6.468476f+31) (tanh +nan.f)) +nan.0) -Number)
(tc-e (exact->inexact 3) -PosFlonum)
(tc-e (exact->inexact -3) -NegFlonum)
(tc-e (real->double-flonum 0.0) -FlonumPosZero)