Fixed tests for invalid optimizations to actually test something.
This commit is contained in:
parent
ae242e2f88
commit
816cc75654
|
@ -1,4 +1,4 @@
|
|||
(module invalid-binary-nonzero-fixnum typed/scheme #:optimize
|
||||
(module invalid-binary-nonzero-fixnum typed/scheme
|
||||
(: f ( -> Void))
|
||||
(define (f) ; in a function, to prevent evaluation
|
||||
(display (quotient 4 0)))) ; 2 fixnums, but the second is 0, cannot optimize
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
(module exact-inexact typed/scheme #:optimize
|
||||
(module exact-inexact typed/scheme
|
||||
(exact->inexact 1.0)) ; not a integer, can't optimize
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
(module float-comp typed/scheme #:optimize
|
||||
(module float-comp typed/scheme
|
||||
(require racket/unsafe/ops)
|
||||
(< 1.0 2))
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
(module float-promotion typed/scheme #:optimize
|
||||
(module float-promotion typed/scheme
|
||||
(/ 1 2.0)) ; result is not a float, can't optimize
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
(module invalid-vector-ref typed/scheme #:optimize
|
||||
(module invalid-vector-ref typed/scheme
|
||||
(vector-ref (vector 1 2 3) 0)) ; type is (Vectorof Integer), length is unknown, can't optimize
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
(module invalid-vector-set typed/scheme #:optimize
|
||||
(module invalid-vector-set typed/scheme
|
||||
(vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
|
||||
|
|
Loading…
Reference in New Issue
Block a user