suzanne.soy/typed-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 
original commit: 45a3b9f48de31075fe8f83e60a7f47fe5db78aaa
This commit is contained in:
Vincent St-Amour 2012-12-04 15:23:39 -05:00
parent 21e2041a79
commit 2553e36d24
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
values
(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)))
(syntax-parse subexpr
;; Only warn about subexpressions that actually perform exact arithmetic.