Fix tests.
This commit is contained in:
parent
37ba3672d4
commit
eca43387f6
|
@ -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
|
#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)
|
(: f : Float -> Real)
|
||||||
(define (f x)
|
(define (f x)
|
||||||
(* x 3))
|
(* x (ann 3 Integer)))
|
||||||
|
|
|
@ -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 12:10 (+ 3 5) -- fixnum bounded expr
|
||||||
TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr
|
TR opt: multi-file2.rkt 12:3 (* 3.4 (+ 3 5)) -- binary float
|
||||||
TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float
|
|
||||||
81.6
|
81.6
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user