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

Fix type of tanh.

Browse Source 
Found using random testing.
This commit is contained in:
Vincent St-Amour 2013-04-02 13:21:15 -04:00
parent ed12b64bf7
commit f66ee7088f
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1901,14 +1901,12 @@
(map unop (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
[tanh (from-cases ; same as sinh
(unop -Zero) ; only exact case
((Un -PosRat -PosFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos
((Un -NegRat -NegFlonum) . -> . -NonPosFlonum)
(-PosSingleFlonum . -> . -NonNegSingleFlonum)
(-NegSingleFlonum . -> . -NonPosSingleFlonum)
(map unop (list -FlonumNan -NonNegFlonum -NonPosFlonum -Flonum
-SingleFlonumNan -PosSingleFlonum -NonNegSingleFlonum -NegSingleFlonum -NonPosSingleFlonum -SingleFlonum
-PosInexactReal -NonNegInexactReal -NegInexactReal -NonPosInexactReal -InexactReal
-PosReal -NonNegReal -NegReal -NonPosReal -Real
((Un -NonNegRat -NonNegFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos
((Un -NonPosRat -NonPosFlonum) . -> . -NonPosFlonum)
(map unop (list -FlonumNan -Flonum
-SingleFlonumNan -NonNegSingleFlonum -NonPosSingleFlonum -SingleFlonum
-NonNegInexactReal -NonPosInexactReal -InexactReal
-NonNegReal -NonPosReal -Real
-FloatComplex -SingleFlonumComplex -InexactComplex N)))]
[degrees->radians