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

Be more conservative when reporing potentially exact arithmetic.

Browse Source 
original commit: 2adc374fc681d5ab031cf8889103bf77fadabfcc
This commit is contained in:
Vincent St-Amour 2014-04-23 12:22:03 -04:00
parent a376f2946d
commit da4f537424
2 changed files with 1 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/float.rkt
View File

@ -98,6 +98,7 @@
(define (maybe-exact-rational? stx)
(and (subtypeof? stx -Real)
(not (subtypeof? stx -Flonum))
(not (subtypeof? stx -SingleFlonum))
(not (subtypeof? stx -Int))))

16
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/dead-inf-comp.rkt
View File

@ -1,22 +1,6 @@
#;#;
#<<END
TR info: dead-inf-comp.rkt 102:4 (>= -inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 105:4 (>= rat -inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 110:41 displayln -- hidden parameter
TR info: dead-inf-comp.rkt 57:4 (< rat +inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 60:4 (< +inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 63:4 (< rat -inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 66:4 (< -inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 70:4 (> +inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 73:4 (> rat +inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 76:4 (> -inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 79:4 (> rat -inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 83:4 (<= rat +inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 86:4 (<= +inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 89:4 (<= rat -inf.f) -- possible exact real arith
TR info: dead-inf-comp.rkt 92:4 (<= -inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 96:4 (>= +inf.f rat) -- possible exact real arith
TR info: dead-inf-comp.rkt 99:4 (>= rat +inf.f) -- possible exact real arith
TR missed opt: dead-inf-comp.rkt 10:4 (< rat -inf.0) -- generic comparison -- caused by: 10:7 rat
TR missed opt: dead-inf-comp.rkt 110:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- generic comparison -- caused by: 110:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i))
TR missed opt: dead-inf-comp.rkt 13:4 (< -inf.0 rat) -- generic comparison -- caused by: 13:14 rat