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

Add test for missed opts in multi-file programs.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-15 13:12:20 -04:00
parent f632aa52dd
commit 5d4d9f2636
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-scheme/optimizer/missed-optimizations/multi-file1.rkt Normal file
View File

@ -0,0 +1,12 @@
#;
(
TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3
)
#lang typed/racket
(provide f)
(: f : Float -> Real)
(define (f x)
(* x 3))

13
collects/tests/typed-scheme/optimizer/missed-optimizations/multi-file2.rkt Normal file
View File

@ -0,0 +1,13 @@
#;
(
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:3 (* 3.4 (+ 3 5)) -- binary float
TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr
81.6
)
#lang typed/racket
(require "multi-file1.rkt")
(f (* 3.4 (+ 3 5)))