From b64696f560f7079808f7002c34982d444024ee80 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sat, 9 Jun 2012 22:07:03 -0400 Subject: [PATCH] Fix type of fl/ to reflect changes to /. original commit: 53746ca0a5b5a959bf272ee8a88e8c3c9dbd3e8b --- 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 97d8c452..6b61b810 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -474,8 +474,8 @@ (-FlonumPosZero -NegFlonum . -> . -FlonumNegZero) (-FlonumNegZero -PosFlonum . -> . -FlonumNegZero) (-FlonumNegZero -NegFlonum . -> . -FlonumPosZero) - (-PosFlonum -PosFlonum . -> . -NonNegFlonum) ; possible underflow - (commutative-binop -PosFlonum -NegFlonum -NonPosFlonum) + (-PosFlonum -PosFlonum . -> . (Un -NonNegFlonum -FlonumNan)) ; possible underflow + (commutative-binop -PosFlonum -NegFlonum (Un -NonPosFlonum -FlonumNan)) (-NegFlonum -NegFlonum . -> . (Un -NonNegFlonum -FlonumNan)) (binop -Flonum)))) (define fl=-type