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.
(cherry picked from commit 5de08f06b4)
This commit is contained in:
Vincent St-Amour 2013-05-13 11:15:42 -04:00 committed by Ryan Culpepper
parent 20f546110b
commit 9c97902361
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -226,6 +226,7 @@
(tc-e (flexpt 0.00000000001 100000000000.0) -NonNegFlonum) (tc-e (flexpt 0.00000000001 100000000000.0) -NonNegFlonum)
(tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN (tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN
(tc-e (tanh (ann 0 Nonnegative-Integer)) -NonNegReal) (tc-e (tanh (ann 0 Nonnegative-Integer)) -NonNegReal)
(tc-e (sinh (ann 0 Nonpositive-Integer)) -NonPosReal)
(tc-e (angle -1) -Real) (tc-e (angle -1) -Real)
(tc-e (angle 2.3) -Zero) (tc-e (angle 2.3) -Zero)
(tc-e (magnitude 3/4) -PosRat) (tc-e (magnitude 3/4) -PosRat)

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

@ -1892,8 +1892,9 @@
(N . -> . N))] (N . -> . N))]
[sinh (from-cases [sinh (from-cases
(unop -Zero) ; only exact case (unop -Zero) ; only exact case
((Un -NonNegRat -NonNegFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos ;; possible underflow, no pos -> pos. 0 -> 0, no -NonNegRat -> -NonNegFlonum
((Un -NonPosRat -NonPosFlonum) . -> . -NonPosFlonum) ((Un -PosRat -NonNegFlonum) . -> . -NonNegFlonum)
((Un -NegRat -NonPosFlonum) . -> . -NonPosFlonum)
(map unop (list -FlonumNan -Flonum (map unop (list -FlonumNan -Flonum
-SingleFlonumNan -NonNegSingleFlonum -NonPosSingleFlonum -SingleFlonum -SingleFlonumNan -NonNegSingleFlonum -NonPosSingleFlonum -SingleFlonum
-NonNegInexactReal -NonPosInexactReal -InexactReal -NonNegInexactReal -NonPosInexactReal -InexactReal