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

Don't warn about exact arithmetic for inexact numbers.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-12-04 15:23:39 -05:00
parent 93939f45d0
commit 45a3b9f48d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/optimizer/float.rkt
View File

@ -160,7 +160,9 @@
(filter (filter
values values
(for/list ([subexpr (in-list (syntax->list #'(f1 f2 fs ...)))] (for/list ([subexpr (in-list (syntax->list #'(f1 f2 fs ...)))]
#:when (or (in-real-layer? subexpr) #:when (or (and (in-real-layer? subexpr)
;; exclude single-flonums
(not (subtypeof? subexpr -InexactReal)))
(in-rational-layer? subexpr))) (in-rational-layer? subexpr)))
(syntax-parse subexpr (syntax-parse subexpr
;; Only warn about subexpressions that actually perform exact arithmetic. ;; Only warn about subexpressions that actually perform exact arithmetic.