diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt index ca08a17d36..e9da7de628 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt @@ -1,6 +1,6 @@ #; ( -unexpected-complex.rkt 16:0 (#%app sqrt (quote 4)) -- unexpected complex type -- caused by: 16:1 sqrt +unexpected-complex.rkt 16:0 (#%app sqrt (quote 4)) -- unexpected complex type unexpected-complex.rkt 17:0 (#%app + (quote 1.2+3.4i) (quote 2.0)) -- unboxed float complex unexpected-complex.rkt 17:1 + -- unboxed binary float complex unexpected-complex.rkt 17:3 1.2+3.4i -- unboxed literal diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt index dbf3e178f9..81fb2cc7aa 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt @@ -1,6 +1,6 @@ #; ( -invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex type -- caused by: 10:12 log +invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex type 0.6931471805599453 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt index a41b163e5e..dae45be1db 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt @@ -1,6 +1,6 @@ #; ( -invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex type -- caused by: 9:1 sqrt +invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex type 0+1.4142135623730951i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt index 7175e09178..1ce55a1217 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt @@ -2,7 +2,7 @@ ( sqrt-segfault.rkt 18:15 - -- binary float sqrt-segfault.rkt 19:15 * -- binary float -sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex type -- caused by: 20:32 sqrt +sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex type ) #lang typed/scheme diff --git a/collects/typed-scheme/optimizer/float-complex.rkt b/collects/typed-scheme/optimizer/float-complex.rkt index 5b0afd43e4..3ec8740b67 100644 --- a/collects/typed-scheme/optimizer/float-complex.rkt +++ b/collects/typed-scheme/optimizer/float-complex.rkt @@ -378,8 +378,7 @@ #:when (when (and (in-complex-layer? #'e) (for/and ([subexpr (in-list (syntax->list #'(e.args ...)))]) (subtypeof? subexpr -Real))) - (log-missed-optimization "unexpected complex type" - this-syntax #'e.op)) + (log-missed-optimization "unexpected complex type" this-syntax)) ;; We don't actually want to match. #:when #f #:with real-binding #'#f ; required, otherwise syntax/parse is not happy