suzanne.soy/typed-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.

original commit: f6077b02f121c4300a761de4f5f2f1a18c361d7e
This commit is contained in:
Vincent St-Amour 2010-07-02 11:47:51 -04:00
parent 39d245984a
commit 228f9a971b
4 changed files with 12 additions and 2 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