suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a rule for valid float promotion when dividing.

Browse Source 
original commit: 8ec6d7ff3f835f88be73c07dddcf9e2dd6388e79
This commit is contained in:
Vincent St-Amour 2010-06-28 16:17:37 -04:00
parent fc1a0a9e05
commit 98738ea50a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -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))))]