Re: [racket] for/vector bug in typed racket

On Sun, Feb 19, 2012 at 1:13 PM, SF 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

[racket] for/vector bug in typed racket

#lang typed/racket ; this works (for/list: : (Listof Integer) ([i 5]) i) ; this doesn't (for/vector: : (Vectorof Integer) ([i 5]) i) error: Type Checker: Error in macro expansion -- insufficient type information to typecheck. please add more type annotations in: (for/vector: : (Vectorof