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

Ensure that we coerce to double flonums.

Browse Source
This commit is contained in:
Eric Dobson 2013-10-29 23:40:01 -07:00
parent 7c945d36c0
commit 2076199838
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/float-complex.rkt
View File

@ -316,8 +316,8 @@
#:with (real-binding imag-binding) (binding-names) #:with (real-binding imag-binding) (binding-names)
#:do [(log-unboxing-opt "unboxed literal")] #:do [(log-unboxing-opt "unboxed literal")]
#:with (bindings ...) #:with (bindings ...)
#`(((real-binding) '#,(exact->inexact (real-part n))) #`(((real-binding) '#,(real->double-flonum (real-part n)))
((imag-binding) '#,(exact->inexact (imag-part n))))) ((imag-binding) '#,(real->double-flonum (imag-part n)))))
(pattern (quote n*:number) (pattern (quote n*:number)
#:do [(define n (syntax->datum #'n*))] #:do [(define n (syntax->datum #'n*))]
#:when (real? n) #:when (real? n)
@ -325,7 +325,7 @@
#:with imag-binding #'0.0 #:with imag-binding #'0.0
#:do [(log-unboxing-opt "unboxed literal")] #:do [(log-unboxing-opt "unboxed literal")]
#:with (bindings ...) #:with (bindings ...)
#`(((real-binding) '#,(exact->inexact n)))) #`(((real-binding) '#,(real->double-flonum n))))
(pattern e:float-complex-expr (pattern e:float-complex-expr
#:with e* (generate-temporary) #:with e* (generate-temporary)
@ -342,8 +342,8 @@
#:do [(log-unboxing-opt "unbox complex")] #:do [(log-unboxing-opt "unbox complex")]
#:with (bindings ...) #:with (bindings ...)
#'(((e*) e.opt) #'(((e*) e.opt)
((real-binding) (exact->inexact (real-part e*))) ((real-binding) (real->double-flonum (real-part e*)))
((imag-binding) (exact->inexact (imag-part e*))))) ((imag-binding) (real->double-flonum (imag-part e*)))))
(pattern e:expr (pattern e:expr
#:do [(error (format "non exhaustive pattern match ~a" #'e))] #:do [(error (format "non exhaustive pattern match ~a" #'e))]
#:with (bindings ...) (list) #:with (bindings ...) (list)

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/float.rkt
View File

@ -67,7 +67,7 @@
(pattern (quote n) (pattern (quote n)
#:when (and (real? (syntax->datum #'n)) #:when (and (real? (syntax->datum #'n))
(exact? (syntax->datum #'n))) (exact? (syntax->datum #'n)))
#:with opt #`'#,(exact->inexact (syntax->datum #'n))) #:with opt #`'#,(real->double-flonum (syntax->datum #'n)))
(pattern e:fixnum-expr (pattern e:fixnum-expr
#:attr opt (delay #'(unsafe-fx->fl e.opt))) #:attr opt (delay #'(unsafe-fx->fl e.opt)))
(pattern e:int-expr (pattern e:int-expr