[racket] for/vector bug in typed racket

On Sun, Feb 19, 2012 at 1:13 PM, SF <sf.rom17 at gmail.com> wrote:
>
> ; this doesn't
> (for/vector: : (Vectorof Integer)
>  ([i 5])
>  i)

Unfortunately, Typed Racket does not yet do enough inference to figure
out uses of `for/vector' in all cases, so you will probably need to
write the loop explicitly here.
-- 
sam th
samth at ccs.neu.edu