((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket] for/vector bug in typed racket

From: SF (sf.rom17 at gmail.com)
Date: Sun Feb 19 13:13:02 EST 2012		 
#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)
Posted on the users mailing list.