From 08d32b5b0cba822aa049173fd712ac3141957449 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 19 May 2011 12:10:20 -0400 Subject: [PATCH] Add an extra test that checks for non-reporting of false positives. original commit: 0432ea16cb75bfb897d915c9d6d50d93db15c477 --- .../optimizer/missed-optimizations/real-in-float-expr.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 eab3d8be..4e984920 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,12 +1,13 @@ #; ( - real-in-float-expr.rkt 14:0 (#%app * (quote 3) (quote 2.3)) -- binary, args all float-arg-expr, return type not Float -- caused by: 14:8 (quote 3) - real-in-float-expr.rkt 22:0 (#%app * (quote 2) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 22:8 (quote 2) + real-in-float-expr.rkt 15:0 (#%app * (quote 3) (quote 2.3)) -- binary, args all float-arg-expr, return type not Float -- caused by: 15:8 (quote 3) + real-in-float-expr.rkt 24:0 (#%app * (quote 2) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 24:8 (quote 2) 6.8999999999999995 6 5 6 5 + 17/12 4.0 ) #lang typed/racket @@ -18,5 +19,6 @@ (+ (ann 2 Integer) (ann 3 Integer)) (* 2 3) (+ 2 3) +(+ 2/3 3/4) (* (ann 2 Natural) 2.0) ; close calls that result in Nonnegative-Real and co (i.e. not directly Real) should be reported too