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

Fix tests.

Browse Source 
original commit: eca43387f60b3ecb33aa22ff011eb76d2c1a7cb8
This commit is contained in:
Vincent St-Amour 2012-02-14 18:09:30 -05:00
parent 44dac18547
commit 9eee232cd2
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
View File

@ -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)))

5
collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
View File

@ -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
)