#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 Integer) ((i 5)) i) ____________________ Racket Users list: http://lists.racket-lang.org/users
