diff --git a/typed-racket-test/optimizer/missed-optimizations/float-vector.rkt b/typed-racket-test/optimizer/missed-optimizations/float-vector.rkt
index 3a7087c0..6753aaef 100644
--- a/typed-racket-test/optimizer/missed-optimizations/float-vector.rkt
+++ b/typed-racket-test/optimizer/missed-optimizations/float-vector.rkt
@@ -1,3 +1,13 @@
+#;#;
+#<<END
+TR info: float-vector.rkt 2:0 (vector 3.2 3.4) -- vector of floats
+END
+#<<END
+'#(3.2 3.4)
+
+END
+
 #lang typed/racket
+#reader typed-racket-test/optimizer/reset-port
 
 (vector 3.2 3.4)
diff --git a/typed-racket-test/optimizer/missed-optimizations/pair.rkt b/typed-racket-test/optimizer/missed-optimizations/pair.rkt
index 29336b31..3ec3833d 100644
--- a/typed-racket-test/optimizer/missed-optimizations/pair.rkt
+++ b/typed-racket-test/optimizer/missed-optimizations/pair.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: pair.rkt 29:17 (mcar (quote ())) -- vector of floats
 TR missed opt: pair.rkt 12:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 12:21 (cdr (cdr (cdr (list 1 2 3))))
 TR missed opt: pair.rkt 15:0 (mcar (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 15:6 (values (ann (mlist 1) (MListof Byte)))
 TR missed opt: pair.rkt 17:0 (mcdr (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 17:6 (values (ann (mlist 1) (MListof Byte)))
diff --git a/typed-racket-test/optimizer/missed-optimizations/precision-loss.rkt b/typed-racket-test/optimizer/missed-optimizations/precision-loss.rkt
index 1f44c8a7..40e81215 100644
--- a/typed-racket-test/optimizer/missed-optimizations/precision-loss.rkt
+++ b/typed-racket-test/optimizer/missed-optimizations/precision-loss.rkt
@@ -1,6 +1,7 @@
 #;#;
 #<<END
 TR info: precision-loss.rkt 10:3 (- 3/4) -- possible exact real arith
+TR info: precision-loss.rkt 12:31 (assert (+ 1/4 3/4) exact-integer?) -- vector of floats
 TR info: precision-loss.rkt 12:39 (+ 1/4 3/4) -- possible exact real arith
 TR info: precision-loss.rkt 18:0 (* (* (r 3/4) 2/3) (car (list (* 2.0 (* (r 3/4) 2/3)))) 2.0) -- possible exact real arith
 TR info: precision-loss.rkt 18:3 (* (r 3/4) 2/3) -- possible exact real arith
diff --git a/typed-racket-test/optimizer/tests/both-if-branches-dead.rkt b/typed-racket-test/optimizer/tests/both-if-branches-dead.rkt
index 1827ab13..673383fc 100644
--- a/typed-racket-test/optimizer/tests/both-if-branches-dead.rkt
+++ b/typed-racket-test/optimizer/tests/both-if-branches-dead.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: both-if-branches-dead.rkt 3:6 (k (void)) -- vector of floats
 TR opt: both-if-branches-dead.rkt 4:6 12 -- dead then branch
 TR opt: both-if-branches-dead.rkt 5:6 (* 3 4) -- dead else branch
 END
diff --git a/typed-racket-test/optimizer/tests/dead-substructs.rkt b/typed-racket-test/optimizer/tests/dead-substructs.rkt
index 983e339a..d14fd284 100644
--- a/typed-racket-test/optimizer/tests/dead-substructs.rkt
+++ b/typed-racket-test/optimizer/tests/dead-substructs.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: dead-substructs.rkt 13:14 (error "eh?") -- vector of floats
 TR info: dead-substructs.rkt 15:4 make-child1 -- struct constructor
 TR info: dead-substructs.rkt 16:4 make-child2 -- struct constructor
 END
diff --git a/typed-racket-test/optimizer/tests/float-promotion.rkt b/typed-racket-test/optimizer/tests/float-promotion.rkt
index d42068b7..1f74c63f 100644
--- a/typed-racket-test/optimizer/tests/float-promotion.rkt
+++ b/typed-racket-test/optimizer/tests/float-promotion.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: float-promotion.rkt 2:3 (assert (modulo 1 2) exact-positive-integer?) -- vector of floats
 TR opt: float-promotion.rkt 2:0 (+ (assert (modulo 1 2) exact-positive-integer?) 2.0) -- binary float
 TR opt: float-promotion.rkt 2:11 (modulo 1 2) -- binary nonzero fixnum
 TR opt: float-promotion.rkt 3:0 (+ (expt 100 100) 2.0) -- binary float
diff --git a/typed-racket-test/optimizer/tests/float-real.rkt b/typed-racket-test/optimizer/tests/float-real.rkt
index 6850d745..aa509d67 100644
--- a/typed-racket-test/optimizer/tests/float-real.rkt
+++ b/typed-racket-test/optimizer/tests/float-real.rkt
@@ -1,6 +1,7 @@
 #;#;
 #<<END
 TR info: float-real.rkt 3:15 (* (ann 2 Integer) 3.2) -- possible exact real arith
+TR info: float-real.rkt 3:7 (assert (* (ann 2 Integer) 3.2) positive?) -- vector of floats
 TR info: float-real.rkt 4:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- possible exact real arith
 TR info: float-real.rkt 4:7 (* (ann 2 Integer) 3.1) -- possible exact real arith
 TR missed opt: float-real.rkt 3:15 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 3:23 2
diff --git a/typed-racket-test/optimizer/tests/invalid-fxquotient.rkt b/typed-racket-test/optimizer/tests/invalid-fxquotient.rkt
index da06420f..c1b54745 100644
--- a/typed-racket-test/optimizer/tests/invalid-fxquotient.rkt
+++ b/typed-racket-test/optimizer/tests/invalid-fxquotient.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: invalid-fxquotient.rkt 2:41 (assert (- (expt 2 30)) fixnum?) -- vector of floats
 TR info: invalid-fxquotient.rkt 5:14 (fxquotient 3 0) -- non-optimized fixnum op
 TR missed opt: invalid-fxquotient.rkt 3:21 (quotient fixnum-min -1) -- out of fixnum range
 END
diff --git a/typed-racket-test/optimizer/tests/opt-arg.rkt b/typed-racket-test/optimizer/tests/opt-arg.rkt
index c40c8c60..535c6afa 100644
--- a/typed-racket-test/optimizer/tests/opt-arg.rkt
+++ b/typed-racket-test/optimizer/tests/opt-arg.rkt
@@ -1,4 +1,10 @@
+#;#;
+#<<END
+END
+""
+
 #lang typed/racket/base
+#reader typed-racket-test/optimizer/reset-port
 
 ;; The optimizer now looks at all expressions regardless of shape (to log
 ;; all expressions with type (Vectorof Float) as candidates for uses of
diff --git a/typed-racket-test/optimizer/tests/sqrt-segfault.rkt b/typed-racket-test/optimizer/tests/sqrt-segfault.rkt
index e129755a..24b4bea4 100644
--- a/typed-racket-test/optimizer/tests/sqrt-segfault.rkt
+++ b/typed-racket-test/optimizer/tests/sqrt-segfault.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: sqrt-segfault.rkt 10:14 (assert (* dist2 (sqrt dist2)) flonum?) -- vector of floats
 TR missed opt: sqrt-segfault.rkt 10:31 (sqrt dist2) -- unexpected complex type
 TR opt: sqrt-segfault.rkt 8:14 (- 0.0 0.0) -- binary float
 TR opt: sqrt-segfault.rkt 9:14 (* dx dx) -- binary float
diff --git a/typed-racket-test/optimizer/tests/vector-bounds-check.rkt b/typed-racket-test/optimizer/tests/vector-bounds-check.rkt
index 72fb11b7..acb3efa6 100644
--- a/typed-racket-test/optimizer/tests/vector-bounds-check.rkt
+++ b/typed-racket-test/optimizer/tests/vector-bounds-check.rkt
@@ -1,5 +1,9 @@
 #;#;
 #<<END
+TR info: vector-bounds-check.rkt 11:6 (error "make-my-flvector should only be called once!") -- vector of floats
+TR info: vector-bounds-check.rkt 15:12 (make-my-vector) -- vector of floats
+TR info: vector-bounds-check.rkt 6:6 (error "make-my-vector should only be called once!") -- vector of floats
+TR info: vector-bounds-check.rkt 8:7 (vector 1.0 2.0 3.0) -- vector of floats
 TR opt: vector-bounds-check.rkt 15:0 (vector-ref (make-my-vector) 0) -- vector partial bounds checking elimination
 TR opt: vector-bounds-check.rkt 16:0 (flvector-ref (make-my-flvector) (ann 0 Fixnum)) -- flvector partial bounds checking elimination
 END
diff --git a/typed-racket-test/optimizer/tests/vector-sum.rkt b/typed-racket-test/optimizer/tests/vector-sum.rkt
index 2fdc1df4..1772dfbd 100644
--- a/typed-racket-test/optimizer/tests/vector-sum.rkt
+++ b/typed-racket-test/optimizer/tests/vector-sum.rkt
@@ -1,5 +1,6 @@
 #;#;
 #<<END
+TR info: vector-sum.rkt 7:30 (make-vector l 0.0) -- vector of floats
 TR opt: vector-sum.rkt 10:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
 TR opt: vector-sum.rkt 10:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
 TR opt: vector-sum.rkt 10:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch