suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add extra checks to avoid spurious close call reporting involving integer operations.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-05-12 17:49:56 -04:00
parent 95bf94577c
commit 526a84f10b
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-scheme/optimizer/close-calls/real-in-float-expr.rkt
View File

@ -1,10 +1,12 @@
#; #;
( (
real-in-float-expr.rkt 12:0 (#%app * (quote 3) (quote 2.3)) -- binary, args all float-arg-expr, return type not Float -- caused by: 10:8 (quote 3) 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 18:0 (#%app * (quote 2) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 17:8 (quote 2) 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)
6.8999999999999995 6.8999999999999995
6 6
5 5
6
5
4.0 4.0
) )
#lang typed/racket #lang typed/racket
@ -14,5 +16,7 @@
(* (ann 2 Integer) (ann 3 Integer)) ; but these have nothing to do with floats, should not be logged (* (ann 2 Integer) (ann 3 Integer)) ; but these have nothing to do with floats, should not be logged
(+ (ann 2 Integer) (ann 3 Integer)) (+ (ann 2 Integer) (ann 3 Integer))
(* 2 3)
(+ 2 3)
(* (ann 2 Natural) 2.0) ; close calls that result in Nonnegative-Real and co (i.e. not directly Real) should be reported too (* (ann 2 Natural) 2.0) ; close calls that result in Nonnegative-Real and co (i.e. not directly Real) should be reported too