Fix broken test, again.
This commit is contained in:
parent
99548825ff
commit
0e7940ab49
|
@ -1,7 +1,7 @@
|
|||
#;
|
||||
(
|
||||
TR opt: vector-length.rkt 14:0 (vector-length (vector 1 2 3)) -- known-length vector-length
|
||||
TR opt: vector-length.rkt 15:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
|
||||
TR opt: vector-length.rkt 12:0 (vector-length (vector 1 2 3)) -- known-length vector-length
|
||||
TR opt: vector-length.rkt 13:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
|
||||
3
|
||||
3
|
||||
)
|
||||
|
|
Loading…
Reference in New Issue
Block a user