From 98738ea50af243ff6ae46668f8309f60184aac6a Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 28 Jun 2010 16:17:37 -0400 Subject: [PATCH] Added a rule for valid float promotion when dividing. original commit: 8ec6d7ff3f835f88be73c07dddcf9e2dd6388e79 --- collects/typed-scheme/private/base-env-numeric.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 9ef60f87..a407d8ca 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -115,6 +115,8 @@ (append (list (->* (list -Integer) -Integer -ExactRational)) (for/list ([t (list -ExactRational -Flonum)]) (->* (list t) t t)) + ;; only exact 0 as first argument can cause the result of a division involving inexacts to be exact + (list (->* (list -Flonum) -Real -Flonum)) (list (->* (list -Real) -Real -Real)) (list (->* (list N) N N))))]