From f36b2c20f73de46f9e226a44089d3d63f0898909 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 28 Jun 2011 17:16:00 -0400 Subject: [PATCH] Fix tests for new log format. original commit: 9640d2bfbce297a2a10eeea36e7ad88121901e01 --- .../missed-optimizations/all-real.rkt | 4 ++-- .../multiple-irritants.rkt | 2 +- .../missed-optimizations/nested-same-kind.rkt | 18 +++++++++--------- .../optimizer/missed-optimizations/pair.rkt | 16 ++++++++-------- .../missed-optimizations/precision-loss.rkt | 8 ++++---- .../real-in-float-expr.rkt | 4 ++-- .../missed-optimizations/unary-float.rkt | 6 +++--- .../optimizer/tests/float-complex-sin.rkt | 9 ++++----- .../optimizer/tests/float-real.rkt | 8 ++++---- .../tests/invalid-float-promotion.rkt | 4 ++-- .../optimizer/tests/invalid-mpair.rkt | 2 +- .../optimizer/tests/unboxed-for.rkt | 2 +- 12 files changed, 41 insertions(+), 42 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt index 49e65296..b2528577 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt @@ -1,7 +1,7 @@ #; ( -TR missed opt: all-real.rkt 24:0 (+ (ann 3 Real) (ann 4 Real)) -- binary, args all float-arg-expr, return type not Float -- caused by: 24:8 3, 24:21 4 -TR missed opt: all-real.rkt 25:0 (* (ann 3 Real) (ann 4 Real)) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:8 3, 25:21 4 +TR missed opt: all-real.rkt 24:0 (+ (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 24:8 3, 24:21 4 +TR missed opt: all-real.rkt 25:0 (* (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 25:8 3, 25:21 4 7 12 ) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt index ad4f9449..9837e4e1 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt @@ -1,6 +1,6 @@ #; ( -TR missed opt: multiple-irritants.rkt 9:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- binary, args all float-arg-expr, return type not Float -- caused by: 9:8 4, 9:24 5 +TR missed opt: multiple-irritants.rkt 9:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- all args float-arg-expr, result not Float -- caused by: 9:8 4, 9:24 5 120.0 ) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt index 5e1ba305..6b7a01c5 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt @@ -1,14 +1,14 @@ #; ( -TR missed opt: nested-same-kind.rkt 25:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:19 4 (2 times) -TR missed opt: nested-same-kind.rkt 25:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 25:7 (* 3.0 (ann 4 Integer)) -TR missed opt: nested-same-kind.rkt 26:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:26 4 (3 times) -TR missed opt: nested-same-kind.rkt 26:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 26:14 (* 3.0 (ann 4 Integer)) (2 times) -TR missed opt: nested-same-kind.rkt 27:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- binary, args all float-arg-expr, return type not Float -- caused by: 27:19 4, 27:35 5 (2 times) -TR missed opt: nested-same-kind.rkt 27:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 27:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- binary, args all float-arg-expr, return type not Float -- caused by: 28:15 4, 28:39 4 (3 times) -TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:27 (* 3.0 (ann 4 Integer)) -TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (* 3.0 (ann 4 Integer)) +TR missed opt: nested-same-kind.rkt 25:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact ops inside float expr -- caused by: 25:7 (* 3.0 (ann 4 Integer)) +TR missed opt: nested-same-kind.rkt 25:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 25:19 4 (2 times) +TR missed opt: nested-same-kind.rkt 26:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- exact ops inside float expr -- caused by: 26:14 (* 3.0 (ann 4 Integer)) (2 times) +TR missed opt: nested-same-kind.rkt 26:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- all args float-arg-expr, result not Float -- caused by: 26:26 4 (3 times) +TR missed opt: nested-same-kind.rkt 27:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- exact ops inside float expr -- caused by: 27:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) +TR missed opt: nested-same-kind.rkt 27:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- all args float-arg-expr, result not Float -- caused by: 27:19 4, 27:35 5 (2 times) +TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact ops inside float expr -- caused by: 28:27 (* 3.0 (ann 4 Integer)) +TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact ops inside float expr -- caused by: 28:3 (* 3.0 (ann 4 Integer)) +TR missed opt: nested-same-kind.rkt 28:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 28:15 4, 28:39 4 (3 times) 24.0 24.0 120.0 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt index 12d50fcf..61ee7ac7 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt @@ -13,26 +13,26 @@ TR missed opt: pair.rkt 64:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on TR opt: pair.rkt 64:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair TR opt: pair.rkt 64:26 (cdr (cdr (list 1 2 3))) -- pair TR opt: pair.rkt 64:31 (cdr (list 1 2 3)) -- pair -TR missed opt: pair.rkt 67:0 (mcar (ann (mlist 1) (MListof Byte))) -- mpair op on a potentially empty mlist -- caused by: 67:0 (mcar (ann (mlist 1) (MListof Byte))) +TR missed opt: pair.rkt 67:0 (mcar (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 67:0 (mcar (ann (mlist 1) (MListof Byte))) TR opt: pair.rkt 68:0 (mcar (mlist 1 2 3)) -- mutable pair -TR missed opt: pair.rkt 69:0 (mcdr (ann (mlist 1) (MListof Byte))) -- mpair op on a potentially empty mlist -- caused by: 69:0 (mcdr (ann (mlist 1) (MListof Byte))) +TR missed opt: pair.rkt 69:0 (mcdr (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 69:0 (mcdr (ann (mlist 1) (MListof Byte))) TR opt: pair.rkt 70:0 (mcdr (mlist 1 2 3)) -- mutable pair TR opt: pair.rkt 71:0 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair TR opt: pair.rkt 71:6 (mcdr (mlist 1 2 3)) -- mutable pair TR opt: pair.rkt 72:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- mutable pair TR opt: pair.rkt 72:6 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair TR opt: pair.rkt 72:12 (mcdr (mlist 1 2 3)) -- mutable pair -TR missed opt: pair.rkt 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) -- mpair op on a potentially empty mlist -- caused by: 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) +TR missed opt: pair.rkt 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) -- car/cdr on a potentially empty list -- caused by: 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) TR opt: pair.rkt 74:0 (set-mcar! (mlist 2 3 4) 2) -- mutable pair -TR missed opt: pair.rkt 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) -- mpair op on a potentially empty mlist -- caused by: 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) +TR missed opt: pair.rkt 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) TR opt: pair.rkt 77:0 (mcar (mcons 2 3)) -- mutable pair TR opt: pair.rkt 78:0 (mcdr (mcons 2 3)) -- mutable pair TR opt: pair.rkt 79:0 (set-mcar! (mcons 2 3) 3) -- mutable pair TR opt: pair.rkt 80:0 (set-mcdr! (mcons 2 3) 4) -- mutable pair -TR missed opt: pair.rkt 81:17 (mcar (quote ())) -- mpair op on a potentially empty mlist -- caused by: 81:23 (quote ()) -TR missed opt: pair.rkt 82:17 (mcdr (quote ())) -- mpair op on a potentially empty mlist -- caused by: 82:23 (quote ()) -TR missed opt: pair.rkt 83:17 (set-mcar! (quote ()) 2) -- mpair op on a potentially empty mlist -- caused by: 83:28 (quote ()) -TR missed opt: pair.rkt 84:17 (set-mcdr! (ann (quote ()) (MListof Integer)) (ann (mlist 3) (MListof Integer))) -- mpair op on a potentially empty mlist -- caused by: 84:33 (quote ()) +TR missed opt: pair.rkt 81:17 (mcar (quote ())) -- car/cdr on a potentially empty list -- caused by: 81:23 (quote ()) +TR missed opt: pair.rkt 82:17 (mcdr (quote ())) -- car/cdr on a potentially empty list -- caused by: 82:23 (quote ()) +TR missed opt: pair.rkt 83:17 (set-mcar! (quote ()) 2) -- car/cdr on a potentially empty list -- caused by: 83:28 (quote ()) +TR missed opt: pair.rkt 84:17 (set-mcdr! (ann (quote ()) (MListof Integer)) (ann (mlist 3) (MListof Integer))) -- car/cdr on a potentially empty list -- caused by: 84:33 (quote ()) 1 1 '(2 3) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt index 20290d27..8fc0a6c8 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt @@ -1,13 +1,13 @@ #; ( -TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 24:3 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3) TR opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- binary float TR opt: precision-loss.rkt 26:0 (+ 3/4 2.0) -- binary float -TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (- 3/4) +TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4) TR opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- binary float TR opt: precision-loss.rkt 30:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float -TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- binary, args all float-arg-expr, return type not Float -- caused by: 36:11 3/4, 36:15 2/3 (2 times) -TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 36:8 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- exact ops inside float expr -- caused by: 36:8 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- all args float-arg-expr, result not Float -- caused by: 36:11 3/4, 36:15 2/3 (2 times) 2.5 2.75 1.25 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt index 6a8b8761..10f56aca 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt @@ -1,9 +1,9 @@ #; ( -TR missed opt: real-in-float-expr.rkt 17:0 (* (ann 3 Real) 2.3) -- binary, args all float-arg-expr, return type not Float -- caused by: 17:8 3 +TR missed opt: real-in-float-expr.rkt 17:0 (* (ann 3 Real) 2.3) -- all args float-arg-expr, result not Float -- caused by: 17:8 3 TR opt: real-in-float-expr.rkt 22:0 (* 2 3) -- fixnum bounded expr TR opt: real-in-float-expr.rkt 23:0 (+ 2 3) -- fixnum bounded expr -TR missed opt: real-in-float-expr.rkt 26:0 (* (ann 2 Natural) 2.0) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:8 2 +TR missed opt: real-in-float-expr.rkt 26:0 (* (ann 2 Natural) 2.0) -- all args float-arg-expr, result not Float -- caused by: 26:8 2 6.8999999999999995 6 5 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt index 99ed7389..19e44c8d 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt @@ -1,8 +1,8 @@ #; ( -TR missed opt: unary-float.rkt 14:0 (sin (ann 3.4 Real)) -- unary, arg float-arg-expr, return type not Float -TR missed opt: unary-float.rkt 15:0 (sin 3) -- unary, arg float-arg-expr, return type not Float -TR missed opt: unary-float.rkt 16:0 (abs (ann 3.4 Real)) -- unary, arg float-arg-expr, return type not Float +TR missed opt: unary-float.rkt 14:0 (sin (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 14:10 3.4 +TR missed opt: unary-float.rkt 15:0 (sin 3) -- all args float-arg-expr, result not Float -- caused by: 15:5 3 +TR missed opt: unary-float.rkt 16:0 (abs (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 16:10 3.4 -0.2555411020268312 0.1411200080598672 3.4 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 d5fdc740..67d17dda 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt @@ -1,10 +1,9 @@ #; ( -TR opt: float-complex-sin.rkt 15:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex -TR missed opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- unary, arg float-arg-expr, return type not Float -TR opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- float-arg-expr in complex ops -TR missed opt: float-complex-sin.rkt 15:18 (* t 6.28) -- binary, args all float-arg-expr, return type not Float -- caused by: 15:21 t -TR opt: float-complex-sin.rkt 15:30 0.0+0.0i -- unboxed literal +TR opt: float-complex-sin.rkt 14:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex +TR missed opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 14:21 t (2 times) +TR opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- float-arg-expr in complex ops +TR opt: float-complex-sin.rkt 14: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 751892d0..3a82f7c5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt @@ -1,11 +1,11 @@ #; ( TR opt: float-real.rkt 18:0 (+ 2.3 (ann 3 Real)) -- binary float -TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 19:7 (* (ann 2 Integer) 3.2) +TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact ops inside float expr -- caused by: 19:7 (* (ann 2 Integer) 3.2) TR opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- binary float -TR missed opt: float-real.rkt 19:7 (* (ann 2 Integer) 3.2) -- binary, args all float-arg-expr, return type not Float -- caused by: 19:15 2 -TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:15 2 (2 times) -TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 20:7 (* (ann 2 Integer) 3.1) +TR missed opt: float-real.rkt 19:7 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 19:15 2 +TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact ops inside float expr -- caused by: 20:7 (* (ann 2 Integer) 3.1) +TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 20:15 2 (2 times) 5.3 8.7 14.26 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 3f324861..9fc1e8ab 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt @@ -1,7 +1,7 @@ #; ( -TR missed opt: invalid-float-promotion.rkt 12:0 (/ (ann 1 Integer) 2.0) -- binary, args all float-arg-expr, return type not Float -- caused by: 12:8 1 -TR missed opt: invalid-float-promotion.rkt 13:0 (* (ann 2/3 Exact-Rational) 3.0) -- binary, args all float-arg-expr, return type not Float -- caused by: 13:8 2/3 +TR missed opt: invalid-float-promotion.rkt 12:0 (/ (ann 1 Integer) 2.0) -- all args float-arg-expr, result not Float -- caused by: 12:8 1 +TR missed opt: invalid-float-promotion.rkt 13:0 (* (ann 2/3 Exact-Rational) 3.0) -- all args float-arg-expr, result not Float -- caused by: 13:8 2/3 0.5 2.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt index c6b5152f..7c0d85df 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt @@ -1,6 +1,6 @@ #; ( -TR missed opt: invalid-mpair.rkt 10:2 (mcar x) -- mpair op on a potentially empty mlist -- caused by: 10:8 x +TR missed opt: invalid-mpair.rkt 10:2 (mcar x) -- car/cdr on a potentially empty list -- caused by: 10:8 x ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt index b5fbc627..d428f28a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: unboxed-for.rkt 30:0 #%module-begin -- in-list TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun +TR opt: unboxed-for.rkt 30:0 #%module-begin -- in-list TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed function -> table