suzanne.soy/typed-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.

original commit: ed12b64bf756ec908a507dc61aa00cce32c94234
This commit is contained in:
Vincent St-Amour 2013-04-02 13:17:07 -04:00
parent 9fa9d9751f
commit 523bbf4882
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))]
[sinh (from-cases
(unop -Zero) ; only exact case
((Un -PosRat -PosFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos
((Un -NegRat -NegFlonum) . -> . -NonPosFlonum)
((Un -PosSingleFlonum) . -> . -NonNegSingleFlonum)
((Un -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)))]
[cosh (from-cases ; no exact cases
(map unop (list -FlonumNan -SingleFlonumNan))