diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt index e1e94c4706..be8a554b06 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt index c7f63bf79c..b12f4b649a 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt index 1f972d6b67..0c24242daf 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt @@ -1,3 +1,3 @@ -(module float-comp typed/scheme #:optimize +(module float-comp typed/scheme (require racket/unsafe/ops) (< 1.0 2)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt index 169909bef6..6599330f50 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt index 0336e1097d..f531dc1429 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt index 91f333c7a4..af5fe91f4e 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt @@ -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