From 99b35249ab18defe20f6a9e1968677d4158f9de5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 10 Sep 2010 17:19:40 -0400 Subject: [PATCH] Removed useless requires. original commit: 8b60085a177d40b8a494e8f5aafe7fe52022d225 --- collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/begin-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt | 2 +- .../typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/box.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/dead-else.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/dead-then.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/define-begin-float.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/define-call-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/define-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/define-pair.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/double-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/float-comp.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/float-fun.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/in-list.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/in-string.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/in-vector.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/known-vector-length.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/let-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/literal-int.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/magnitude.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/make-flrectangular.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/make-polar.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/mpair.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/nested-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/simple-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/sqrt.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/string-length.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/structs.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unary-float.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions1.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions2.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions3.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions4.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions5.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions6.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions7.rkt | 2 +- .../typed-scheme/optimizer/tests/unboxed-let-functions8.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt | 2 +- .../optimizer/tests/unboxed-letrec-syntaxes+values.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/vector-length-nested.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/vector-length.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt | 2 +- .../tests/typed-scheme/optimizer/tests/vector-set-quote.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/vector-set.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt | 2 +- collects/tests/typed-scheme/optimizer/tests/zero.rkt | 2 +- 78 files changed, 78 insertions(+), 78 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt index 8478d8d4..d3f4b79d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt @@ -8,6 +8,6 @@ apply-plus.rkt line 13 col 7 - * - apply-map #lang typed/racket #:optimize -(require racket/unsafe/ops) + (apply + (map add1 (list 1 2 3))) (apply * (map add1 (list 1 2 3))) diff --git a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt index da828b4d..1514e0b0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt @@ -8,6 +8,6 @@ begin-float.rkt line 13 col 8 - * - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (begin (- 2.0 3.0) (* 2.0 3.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt index 31dce5f9..0b6ab3e0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt @@ -6,7 +6,7 @@ binary-fixnum.rkt line 12 col 3 - bitwise-and - binary fixnum #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: f (All (X) ((Vectorof X) -> Natural))) (define (f v) (bitwise-and (vector-length v) 1)) diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt index 2e3ad2e7..ed3f7ed4 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt @@ -7,5 +7,5 @@ binary-nonzero-fixnum.rkt line 11 col 1 - modulo - binary nonzero fixnum #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (modulo (vector-length '#(1 2 3)) 2) diff --git a/collects/tests/typed-scheme/optimizer/tests/box.rkt b/collects/tests/typed-scheme/optimizer/tests/box.rkt index c7c7bbb6..9ea6b1df 100644 --- a/collects/tests/typed-scheme/optimizer/tests/box.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/box.rkt @@ -10,7 +10,7 @@ box.rkt line 19 col 1 - unbox - box #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: x (Boxof Integer)) (define x (box 1)) diff --git a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt index b9255c56..e310b047 100644 --- a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt @@ -6,6 +6,6 @@ cross-module-struct2.rkt line 11 col 1 - x-x - struct ref #lang typed/scheme #:optimize -(require (file "cross-module-struct.rkt") racket/unsafe/ops) +(require (file "cross-module-struct.rkt")) (define a (make-x 1)) (x-x a) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt index ad1fcb95..cbc34a9a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt @@ -9,7 +9,7 @@ dead-else.rkt line 17 col 14 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (display (if (number? 3) (+ 2.0 3.0) (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt index 86b40211..7e3ee6c8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt @@ -9,7 +9,7 @@ dead-then.rkt line 18 col 14 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (display (if (number? "eh") (+ 2.0 3.0) (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt index f6d0b6f7..e7e3641e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt @@ -7,6 +7,6 @@ define-begin-float.rkt line 12 col 18 - * - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (define a (begin (display (- 2.0 3.0)) (* 2.0 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt index 0aa84331..479a47f2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt @@ -5,5 +5,5 @@ define-call-float.rkt line 9 col 17 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (define x (cons (+ 1.0 2.0) 3.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt index 9113cefa..853afc03 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt @@ -5,5 +5,5 @@ define-float.rkt line 9 col 11 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (define x (+ 1.0 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt index 28036634..006029b3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt @@ -5,5 +5,5 @@ define-pair.rkt line 9 col 11 - car - pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (define x (car '(1 3))) diff --git a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt index a6400339..951ced61 100644 --- a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt @@ -6,5 +6,5 @@ double-float.rkt line 10 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 2.0 2.0 2.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt index d3382c3a..e2efe744 100644 --- a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt @@ -6,5 +6,5 @@ exact-inexact.rkt line 10 col 1 - exact->inexact - int to float #lang typed/scheme #:optimize -(require racket/flonum) + (exact->inexact (expt 10 100)) ; must not be a fixnum diff --git a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt index 53384429..7dcbebe6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt @@ -8,5 +8,5 @@ fixnum-comparison.rkt line 12 col 1 - < - binary fixnum #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (< (vector-length '#(1 2 3)) (string-length "asdf")) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt index 6cd3e00c..0cd0d1ef 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt @@ -6,5 +6,5 @@ float-comp.rkt line 10 col 1 - < - binary float comp #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (< 1.0 2.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt index 0a20f92c..b659085c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt @@ -6,7 +6,7 @@ float-fun.rkt line 12 col 3 - + - binary float #lang typed/racket #:optimize -(require racket/unsafe/ops) + (: f (Float -> Float)) (define (f x) (+ x 1.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt index 64138644..383a9a05 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt @@ -9,6 +9,6 @@ float-promotion.rkt line 14 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/flonum) + (+ (modulo 1 1) 2.0) (+ (expt 100 100) 2.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt index 2cfe1cd1..5d30913b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt @@ -6,5 +6,5 @@ flvector-length.rkt line 10 col 1 - flvector-length - flvector-length #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/flonum) +(require racket/flonum) (flvector-length (flvector 0.0 1.2)) diff --git a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt index 7fac058b..7e63776a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt @@ -6,5 +6,5 @@ fx-fl.rkt line 10 col 1 - exact->inexact - fixnum to float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (exact->inexact 1) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt index 5c5d8ba0..7983e655 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt @@ -18,6 +18,6 @@ in-bytes.rkt line 22 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (for: ((i : Integer #"123")) (display i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt index eaca57ac..dc21f5f8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt @@ -18,6 +18,6 @@ in-list.rkt line 22 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) ( #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (for: ((i : Natural '(1 2 3))) (display i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt index 5622cbea..04ec2b02 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt @@ -18,6 +18,6 @@ in-string.rkt line 22 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (for: ((i : Char "123")) (display i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt index 333debdd..b1aa45e8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt @@ -18,6 +18,6 @@ in-vector.rkt line 22 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (for: ((i : Integer (vector 1 2 3))) (display i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt index 1de1b624..5e2c31ab 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt @@ -5,5 +5,5 @@ #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (< 1.0 2) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt index afc7c9e6..809409c3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt @@ -29,7 +29,7 @@ invalid-unboxed-let.rkt line 38 col 11 - (#%app + t1 t1) - unboxed inexact compl #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) ; can be unboxed (t2 (+ 3.0+6.0i 4.0+8.0i)) ; can't be unboxed diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt index 8875971b..459f47ff 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt @@ -19,7 +19,7 @@ invalid-unboxed-let2.rkt line 26 col 2 - (#%app + t1 t2) - unboxed inexact compl #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; unboxing of let bindings does not currently work with multiple values (let-values (((t1 t2) (values (+ 1.0+2.0i 2.0+4.0i) (+ 3.0+6.0i 4.0+8.0i)))) diff --git a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt index 97f4c295..c1503b60 100644 --- a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt @@ -7,5 +7,5 @@ known-vector-length.rkt line 11 col 6 - vector-length - known-length vector-leng #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt index e598b836..09f4ca14 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt @@ -8,6 +8,6 @@ let-float.rkt line 13 col 3 - * - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let ((x (+ 3.0 2.0))) (* 9.0 x)) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt index ec49c5d4..b6994657 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt @@ -8,7 +8,7 @@ let-rhs.rkt line 13 col 0 - (let-values (((x) (#%app + (quote 1.0) (quote 2.0))) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let ((x (+ 1.0 2.0))) x) diff --git a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt index eb246d7a..7b54c8f5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt @@ -8,7 +8,7 @@ literal-int.rkt line 13 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 1 2.0) 1 diff --git a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt index 42d8cd82..dc69d185 100644 --- a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt @@ -9,6 +9,6 @@ magnitude.rkt line 14 col 0 - (#%app magnitude (quote 3.0+4.0i)) - unboxed inexa #lang typed/racket/base #:optimize -(require racket/unsafe/ops) + (magnitude 3.0+4.0i) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt index 05a40978..10e2ce82 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt @@ -8,6 +8,6 @@ make-flrectangular.rkt line 13 col 1 - make-flrectangular - binary float comp #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/flonum) +(require racket/flonum) (make-rectangular 1.0 2.2) (make-flrectangular 1.0 2.2) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt index 0497eab5..f1b0033b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt @@ -22,7 +22,7 @@ make-polar.rkt line 33 col 40 - imag-part - unboxed inexact complex #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; top level (make-polar 1.0 1.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt index dc3170dc..235a672e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt @@ -10,6 +10,6 @@ maybe-exact-complex.rkt line 15 col 0 - (#%app + (quote 1.0+2.0i) (quote 2+4i)) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 1.0+2.0i 2+4i) diff --git a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt index c357473b..ae62abbb 100644 --- a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt @@ -12,7 +12,7 @@ mpair.rkt line 27 col 7 - mcar - mutable pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: x (MPairof Integer Float)) (define x (mcons 1 1.0)) (mcar x) diff --git a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt index b2b8515f..5a02f030 100644 --- a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt @@ -6,5 +6,5 @@ n-ary-float.rkt line 10 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 1.0 2.0 3.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt index e2dee886..326150d9 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt @@ -7,5 +7,5 @@ nested-float.rkt line 11 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 2.0 (+ 3.0 4.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt index cc3d59b9..942424a1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt @@ -7,5 +7,5 @@ nested-float2.rkt line 11 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 2.0 (* 3.0 4.0)) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt index 4af3768e..a11185ef 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt @@ -44,7 +44,7 @@ nested-let-loop.rkt line 49 col 6 - loop1 - unboxed let loop #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let: loop1 : Inexact-Complex ((x : (Listof Inexact-Complex) '(1.0+2.0i 2.0+4.0i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt index d0caa847..7e8a92fc 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt @@ -7,5 +7,5 @@ nested-pair1.rkt line 11 col 1 - car - pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (car (cdr '(1 2))) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt index 11bc2549..d43ba10f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt @@ -7,5 +7,5 @@ nested-pair2.rkt line 11 col 1 - car - pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (car (cdr (cons 3 (cons (cons 2 '()) 1)))) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt index f41eb3ce..6169762e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt @@ -26,7 +26,7 @@ nested-unboxed-let.rkt line 33 col 4 - (#%app + x (quote 3.0+6.0i)) - unboxed in #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let ((x (+ 1.0+2.0i 2.0+3.0i))) (let ((x (+ x 2.0+3.0i))) diff --git a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt index 9b06cbd8..4b8af710 100644 --- a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt @@ -35,7 +35,7 @@ one-arg-arith.rkt line 55 col 1 - max - unary number #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (- 12) (- 12.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt index b2a4bcc7..b369f81e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt @@ -5,7 +5,7 @@ pair-fun.rkt line 13 col 7 - car - pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: f ((Listof Integer) -> Integer)) (define (f x) (if (null? x) diff --git a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt index b39c9d8d..4d478200 100644 --- a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt @@ -25,7 +25,7 @@ real-part-loop.rkt line 31 col 6 - loop - unboxed let loop #lang typed/racket/base #:optimize -(require racket/unsafe/ops) + (ann (let loop ([v 0.0+1.0i]) diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt index 8d761f47..26b3550c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt @@ -6,5 +6,5 @@ simple-float.rkt line 10 col 1 - + - binary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (+ 2.0 3.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt index c5055379..a4586341 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt @@ -6,5 +6,5 @@ simple-pair.rkt line 10 col 1 - car - pair #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (car (cons 1 2)) diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt index a67456db..c6faf7ff 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt @@ -11,7 +11,7 @@ sqrt-segfault.rkt line 22 col 0 - (let-values (((mag) (let-values (((val) (#%app #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; from the nbody-generic benchmark. ;; the result of sqrt was an Inexact-Complex, so inexact complex opts kicked diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt index 3f643706..cb5669a3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt @@ -5,7 +5,7 @@ sqrt.rkt line 11 col 3 - sqrt - unary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: f (Nonnegative-Float -> Nonnegative-Float)) (define (f x) (sqrt x)) diff --git a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt index 32c2df80..76cb9976 100644 --- a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt @@ -9,7 +9,7 @@ #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (string-length "eh") (bytes-length #"eh") diff --git a/collects/tests/typed-scheme/optimizer/tests/structs.rkt b/collects/tests/typed-scheme/optimizer/tests/structs.rkt index 190b5904..be8e651a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/structs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/structs.rkt @@ -7,7 +7,7 @@ structs.rkt line 14 col 1 - set-pt-y! - struct set #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (define-struct: pt ((x : Integer) (y : Integer)) #:mutable) (define a (pt 3 4)) (pt-x a) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt index 1bd5f21b..ff5a1212 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt @@ -7,5 +7,5 @@ unary-fixnum-nested.rkt line 11 col 1 - abs - unary fixnum #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/fixnum) + (abs (bitwise-not (length '(1 2 3)))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt index b5c321c4..51bb989b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt @@ -6,5 +6,5 @@ unary-fixnum.rkt line 10 col 1 - bitwise-not - unary fixnum #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (bitwise-not 4) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt index 59bccafd..6d20a253 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt @@ -6,5 +6,5 @@ unary-float.rkt line 10 col 1 - sin - unary float #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (sin 2.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt index 71960a72..291acf7c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt @@ -50,7 +50,7 @@ unboxed-for.rkt line 55 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (i #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (for/fold: : Inexact-Complex ((sum : Inexact-Complex 0.0+0.0i)) ((i : Inexact-Complex '(1.0+2.0i 2.0+4.0i))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt index 41b456b1..4f975a50 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt @@ -23,7 +23,7 @@ unboxed-let-functions1.rkt line 30 col 3 - f - call to fun with unboxed args #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; simple case, function with single complex arg (let ((f (lambda: ((x : Inexact-Complex)) (+ x 3.0+6.0i)))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt index a6040a56..d7841b21 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt @@ -29,7 +29,7 @@ unboxed-let-functions2.rkt line 37 col 3 - f - call to fun with unboxed args #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; function with multiple complex args (let ((f (lambda: ((x : Inexact-Complex) (y : Inexact-Complex)) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt index 2e5a90f2..e7aff08a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt @@ -23,7 +23,7 @@ unboxed-let-functions3.rkt line 31 col 3 - f - call to fun with unboxed args #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; function with a mix of complex and non-complex args (let ((f (lambda: ((x : Inexact-Complex) (y : Float)) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt index bc294048..09612c21 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt @@ -23,7 +23,7 @@ unboxed-let-functions4.rkt line 31 col 3 - f - call to fun with unboxed args #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; function with a mix of complex and non-complex args, non-complex first (let ((f (lambda: ((y : Float) (x : Inexact-Complex)) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt index 0b14144b..64a08d9c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt @@ -12,7 +12,7 @@ unboxed-let-functions5.rkt line 22 col 12 - (#%app + (quote 1.0+2.0i) (quote 2.0 #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; invalid: f "escapes", according to our analysis (letrec: ((f : (Inexact-Complex -> Inexact-Complex) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt index c3c220ec..c9c70356 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt @@ -28,7 +28,7 @@ unboxed-let-functions6.rkt line 33 col 6 - loop - unboxed let loop #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/flonum) + (let: loop : Inexact-Complex ((z : Inexact-Complex 0.0+0.0i) (l : (Listof Integer) '(1 2 3))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt index 627193c5..6265f7d3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt @@ -26,7 +26,7 @@ unboxed-let-functions7.rkt line 31 col 6 - loop - unboxed let loop #lang typed/scheme #:optimize -(require racket/unsafe/ops racket/flonum) + (let: loop : Inexact-Complex ((z : Inexact-Complex 0.0+0.0i) (l : (Listof Integer) '(1 2 3))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt index 45aae88c..4a1c6eba 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt @@ -11,7 +11,7 @@ unboxed-let-functions8.rkt line 16 col 0 - (letrec-values (((f) (lambda (x) (#%a #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (letrec: ((f : (Inexact-Complex -> Inexact-Complex) (lambda (x) (+ x 2.0+4.0i))) (g : (Inexact-Complex -> Inexact-Complex) f)) ; f escapes! can't unbox it's args diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt index b785896a..1d1c5b7d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt @@ -32,7 +32,7 @@ unboxed-let.rkt line 40 col 2 - (#%app + t2 t3) - unboxed inexact complex #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt index 84eff33f..b80bab26 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt @@ -25,7 +25,7 @@ unboxed-let2.rkt line 32 col 2 - (#%app + t1 t2) - unboxed inexact complex #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt index 77e149d1..d55d7e95 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt @@ -19,7 +19,7 @@ unboxed-let3.rkt line 34 col 6 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact #lang typed/scheme #:optimize -(require racket/unsafe/ops) + ;; both boxed and unboxed uses, we unbox anyway ;; causes unnecessary boxing/unboxing if we take a boxed path when diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt index 71d54170..5c4dfd1b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt @@ -18,7 +18,7 @@ unboxed-letrec-syntaxes+values.rkt line 25 col 24 - (#%app + x (quote 2.0+4.0i)) #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (letrec-syntaxes+values (((s) (syntax-rules () [(_ x) x]))) (((x) (+ 1.0+2.0i 2.0+4.0i))) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt index 5a52c7dc..8e41a8bf 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt @@ -23,7 +23,7 @@ unboxed-letrec.rkt line 31 col 2 - (#%app + x y) - unboxed inexact complex #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x))) (x : Inexact-Complex 1.0+2.0i) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt index 5bcd563b..c616eaf8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt @@ -7,7 +7,7 @@ vector-length-nested.rkt line 12 col 2 - vector-ref - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-length (vector-ref (ann (vector (vector 1 2) 2 3) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt index 65778288..c045caa4 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt @@ -6,5 +6,5 @@ vector-length.rkt line 10 col 1 - vector-length - vector-length #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-length (vector 1 2 3)) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt index 03f9fb71..02f1a5d3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt @@ -9,7 +9,7 @@ vector-ref-set-ref.rkt line 17 col 1 - vector-ref - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (: x (Vector Integer String)) (define x (vector 1 "1")) (vector-ref x 0) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt index 80796658..68a08817 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt @@ -6,5 +6,5 @@ vector-ref.rkt line 10 col 1 - vector-ref - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-ref (ann (vector 1 2) (Vector Integer Integer)) 0) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt index 49f50d54..d98f6174 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt @@ -6,5 +6,5 @@ vector-ref2.rkt line 10 col 1 - vector-ref - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-ref (vector 1 2 3) 0) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt index 209bc9e0..53c29712 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt @@ -5,7 +5,7 @@ vector-set-quote.rkt line 9 col 1 - vector-set! - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-set! (ann (vector '(1 2)) (Vector Any)) 0 '(+ 1.0 2.0)) ; we should not optimize under quote diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt index d3b26758..92af9b8a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt @@ -5,7 +5,7 @@ vector-set.rkt line 9 col 1 - vector-set! - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-set! (ann (vector 1 2) (Vector Integer Integer)) 0 1) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt index d9661383..83e5a1f1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt @@ -5,5 +5,5 @@ vector-set2.rkt line 9 col 1 - vector-set! - vector #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (vector-set! (vector 1 2) 0 2) ; type is (Vectorof Integer), length is ot known, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/zero.rkt b/collects/tests/typed-scheme/optimizer/tests/zero.rkt index 411edd09..81eee79c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/zero.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/zero.rkt @@ -9,6 +9,6 @@ zero.rkt line 14 col 1 - zero? - float zero? #lang typed/scheme #:optimize -(require racket/unsafe/ops) + (zero? 1) (zero? (sqrt 3.0))