From 1d9ed172ef566492b5669782c98757408de1aaa6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 1 Apr 2013 11:56:26 -0400 Subject: [PATCH] Simplify type. original commit: c8c6341970db042b62c9143f92914553e90dd843 --- collects/typed-racket/base-env/base-env-numeric.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index 966576ac..465f42fb 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1905,8 +1905,8 @@ (unop -Zero) ; only exact case ((Un -PosRat -PosFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos ((Un -NegRat -NegFlonum) . -> . -NonPosFlonum) - ((Un -PosSingleFlonum) . -> . -NonNegSingleFlonum) - ((Un -NegSingleFlonum) . -> . -NonPosSingleFlonum) + (-PosSingleFlonum . -> . -NonNegSingleFlonum) + (-NegSingleFlonum . -> . -NonPosSingleFlonum) (map unop (list -FlonumNan -NonNegFlonum -NonPosFlonum -Flonum -SingleFlonumNan -PosSingleFlonum -NonNegSingleFlonum -NegSingleFlonum -NonPosSingleFlonum -SingleFlonum -PosInexactReal -NonNegInexactReal -NegInexactReal -NonPosInexactReal -InexactReal