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

Fix type of sinh.

Browse Source 
Found using random testing.
This commit is contained in:
Vincent St-Amour 2013-04-02 13:17:07 -04:00
parent 51c94e26d3
commit ed12b64bf7
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

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