From b59fef334225182779b6a2ec0fa6da11dfd84103 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 10 Aug 2012 17:55:30 -0400 Subject: [PATCH] Fix type of division. original commit: 7c6cf0fa8b43e39f88211fa35ac151616f2704ba --- collects/typed-racket/base-env/base-env-numeric.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index b7856987..e3bc29ec 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1188,9 +1188,8 @@ (commutative-case -InexactReal (Un -PosRat -NegRat -InexactReal) -InexactReal) (varop-1+ -InexactReal) ;; reals - (varop-1+ -PosReal) - (-> -NegReal -NegReal) - (-> -NonPosReal -NonPosReal) + (varop-1+ -PosReal -NonNegReal) + (-> -NegReal -NonPosReal) (-> -NegReal -NegReal -NonNegReal) (-> -NegReal -PosReal -NonPosReal) (-> -PosReal -NegReal -NonPosReal)