diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
index e02717f1..f63b79db 100644
--- a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
@@ -1,9 +1,10 @@
 #;
 (
-float-complex-sin.rkt 14:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex
-float-complex-sin.rkt 14:11 + -- unboxed binary float complex
-float-complex-sin.rkt 14:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops
-float-complex-sin.rkt 14:30 0.0+0.0i -- unboxed literal
+float-complex-sin.rkt 15:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex
+float-complex-sin.rkt 15:11 + -- unboxed binary float complex
+float-complex-sin.rkt 15:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops
+float-complex-sin.rkt 15:18 (#%app * t (quote 6.28)) -- binary, args all float-arg-expr, return type not Float -- caused by: 15:21 t
+float-complex-sin.rkt 15:30 0.0+0.0i -- unboxed literal
 -0.0031853017931379904+0.0i
 )
 
diff --git a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt
index 7f1aadd8..29ee686f 100644
--- a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt
@@ -1,7 +1,12 @@
 #;
 (
-float-real.rkt 13:1 + -- binary float
-float-real.rkt 14:1 + -- binary float
+float-real.rkt 18:1 + -- binary float
+float-real.rkt 19:1 + -- binary float
+float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- binary, args all float-arg-expr, return type not Float -- caused by: 19:15 (quote 2)
+float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 19:0 (#%app + (quote 2.3) (#%app * (quote 2) (quote 3.2)))
+float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:7 (#%app * (quote 2) (quote 3.1))
+float-real.rkt 20:7 (#%app * (quote 2) (quote 3.1)) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:15 (quote 2)
+float-real.rkt 20:7 (#%app * (quote 2) (quote 3.1)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1)))
 5.3
 8.7
 14.26
diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
index 89a4ca52..6cdae68d 100644
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
@@ -1,5 +1,8 @@
 #;
-()
+(
+invalid-derived-pair.rkt 12:2 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 12:2 (#%app cdr x)
+invalid-derived-pair.rkt 17:6 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 17:6 (#%app cdr x)
+ )
 
 #lang typed/racket #:optimize
 
diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt
index a4a20f6e..35aa3bb7 100644
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt
@@ -1,5 +1,7 @@
 #;
 (
+invalid-float-promotion.rkt 12:0 (#%app / (quote 1) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 12:8 (quote 1)
+invalid-float-promotion.rkt 13:0 (#%app * (quote 2/3) (quote 3.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 13:8 (quote 2/3)
 0.5
 2.0
 )
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 2e3504d7..00298efd 100644
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
@@ -1,5 +1,6 @@
 #;
 (
+invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex value -- caused by: 10:12 log
 0.6931471805599453
 )
 
diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt
index 3d2995ba..12c859e3 100644
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt
@@ -1,5 +1,7 @@
 #;
-()
+(
+invalid-mpair.rkt 10:2 (#%app mcar x) -- mpair op on a potentially empty mlist -- caused by: 10:8 x
+ )
 
 #lang typed/scheme
 #:optimize
diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt
index 2f9bb37a..7daf6a59 100644
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt
@@ -1,5 +1,6 @@
 #;
 (
+invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex value -- caused by: 9:1 sqrt
 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 2c16a955..a740020a 100644
--- a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt
@@ -2,13 +2,13 @@
 (
 sqrt-segfault.rkt 18:15 - -- binary float
 sqrt-segfault.rkt 19:15 * -- binary float
+sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex value -- caused by: 20:32 sqrt
 )
 
 #lang typed/scheme
 #:optimize
 
 
-
 ;; from the nbody-generic benchmark.
 ;; the result of sqrt was an Float-Complex, so float complex opts kicked
 ;; in but they resulted in segfaulting code.