From 6584c83187e8d5d77520e38fd39e3e3e805d2a6c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 2 Apr 2013 10:16:33 -0400 Subject: [PATCH] Fix coercions from single-floats to floats. Found using random testing. original commit: ca63915693b706f0ead17f114ffe76a087a11c63 --- collects/typed-racket/optimizer/float.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/float.rkt b/collects/typed-racket/optimizer/float.rkt index 2c5c7d9a..6e58ef21 100644 --- a/collects/typed-racket/optimizer/float.rkt +++ b/collects/typed-racket/optimizer/float.rkt @@ -79,7 +79,7 @@ ;; of the exact 0 problem, but since float-opt-expr checks whether the ;; surrounding expressing is of type Float and not just Real, this is safe (pattern e:real-expr - #:with opt #'(exact->inexact e))) + #:with opt #'(real->double-flonum e))) (define (log-float-real-missed-opt stx irritants) (log-missed-optimization