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

Tweak complex unboxing missed optimization message.

Browse Source 
original commit: 631a1748743fa806e210939068723c7c92571b4b
This commit is contained in:
Vincent St-Amour 2013-11-11 14:54:18 -05:00
parent 7c8ac2188e
commit 04addef70f
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -43,10 +43,10 @@
(log-opt opt-label arity-raising-opt-msg))
(define-syntax-rule (log-missed-complex-expr)
(log-missed-optimization
"Non complex value in complex arithmetic"
"non-complex value in complex arithmetic"
(string-append
"This expression has a non FloatComplex type and thus cannot "
"be promoted to unboxed arithmetic.")
"This expression has a non-float Complex number type. "
"The optimizer could optimize it better if it had type Float-Complex.")
this-syntax))
;; If a part is 0.0?

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/complex-exp.rkt
View File

@ -1,6 +1,6 @@
#;#;
#<<END
TR missed opt: complex-exp.rkt 16:3 (exp 0) -- Non complex value in complex arithmetic
TR missed opt: complex-exp.rkt 16:3 (exp 0) -- non-complex value in complex arithmetic
TR opt: complex-exp.rkt 16:0 (- (exp 0) 1.0+2.0i) -- unboxed binary float complex
TR opt: complex-exp.rkt 16:11 1.0+2.0i -- unboxed literal
TR opt: complex-exp.rkt 16:3 (exp 0) -- float-arg-expr in complex ops