From 9eee232cd27e633a0142373349d4009ca28c3eaf Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 14 Feb 2012 18:09:30 -0500 Subject: [PATCH] Fix tests. original commit: eca43387f60b3ecb33aa22ff011eb76d2c1a7cb8 --- .../optimizer/missed-optimizations/multi-file1.rkt | 4 ++-- .../optimizer/missed-optimizations/multi-file2.rkt | 5 ++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt index 6e5d13bc..e8060758 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt @@ -1,6 +1,6 @@ #; ( -TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3 +TR missed opt: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 12:12 3 ) #lang typed/racket @@ -9,4 +9,4 @@ TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result n (: f : Float -> Real) (define (f x) - (* x 3)) + (* x (ann 3 Integer))) diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt index 2d8c1dff..7daf58fb 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt @@ -1,8 +1,7 @@ #; ( -TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3 -TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr -TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float +TR opt: multi-file2.rkt 12:10 (+ 3 5) -- fixnum bounded expr +TR opt: multi-file2.rkt 12:3 (* 3.4 (+ 3 5)) -- binary float 81.6 )