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

Fixed some tests that used to test for an invalid optimization that is

Browse Source 
now valid.
This commit is contained in:
Vincent St-Amour 2010-07-02 11:47:51 -04:00
parent f79f617ee8
commit f6077b02f1
8 changed files with 24 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt
View File

@ -1,2 +1,4 @@
(module invalid-vector-ref typed/scheme #:optimize
(vector-ref (vector 1 2 3) 0)) ; type is (Vectorof Integer), length is unknown, can't optimize
(: f ((Vectorof Integer) -> Integer))
(define (f x)
(vector-ref x 0))) ; type is (Vectorof Integer), length is unknown, can't optimize

4
collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt
View File

@ -1,2 +1,4 @@
(module invalid-vector-set typed/scheme #:optimize
(vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
(: f ((Vectorof Integer) -> Void))
(define (f x)
(vector-set! x 0 2))) ; type is (Vectorof Integer), length is ot known, can't optimize

3
collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt Normal file
View File

@ -0,0 +1,3 @@
(module vector-ref2 typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-ref (vector 1 2 3) 0))

3
collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt Normal file
View File

@ -0,0 +1,3 @@
(module invalid-vector-set 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

4
collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt
View File

@ -1,2 +1,4 @@
(module invalid-vector-ref typed/scheme
(vector-ref (vector 1 2 3) 0)) ; type is (Vectorof Integer), length is unknown, can't optimize
(: f ((Vectorof Integer) -> Integer))
(define f
(#%plain-lambda (x) (vector-ref x 0)))) ; type is (Vectorof Integer), length is unknown, can't optimize

4
collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt
View File

@ -1,2 +1,4 @@
(module invalid-vector-set typed/scheme
(vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
(: f ((Vectorof Integer) -> Void))
(define f
(#%plain-lambda (x) (vector-set! x 0 2)))) ; type is (Vectorof Integer), length is ot known, can't optimize

3
collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref2.rkt Normal file
View File

@ -0,0 +1,3 @@
(module vector-ref2 typed/scheme #:optimize
(require racket/unsafe/ops)
(unsafe-vector*-ref (vector 1 2 3) 0))

3
collects/tests/typed-scheme/optimizer/hand-optimized/vector-set2.rkt Normal file
View File

@ -0,0 +1,3 @@
(module invalid-vector-set typed/scheme #:optimize
(require racket/unsafe/ops)
(unsafe-vector*-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize