From 523bbf4882b14982d4695840b60b9ef6a939814c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 2 Apr 2013 13:17:07 -0400 Subject: [PATCH] Fix type of sinh. Found using random testing. original commit: ed12b64bf756ec908a507dc61aa00cce32c94234 --- .../typed-racket/base-env/base-env-numeric.rkt | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index 465f42fb..61b411b3 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -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))