[racket] for/vector bug in typed racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Feb 19 13:56:21 EST 2012

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

Posted on the users mailing list.