parent
ec2acb8bc0
commit
b23fc34c24
|
@ -2,9 +2,7 @@
|
||||||
(
|
(
|
||||||
TR opt: vector-length.rkt 14:0 (vector-length (vector 1 2 3)) -- known-length vector-length
|
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 15:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
|
||||||
'#(1 2 3)
|
|
||||||
3
|
3
|
||||||
'#(4 5 6)
|
|
||||||
3
|
3
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user