[racket-dev] typed/racket for loops?

At Tue, 7 Jun 2011 15:49:05 -0700,
John Clements wrote:
> In that case, it appears that there's also a doc bug; the docs say:
> 
> (for/list: : u (for:-clause ...) expr ...+)
> 
> ... "The last expr of the body must have type u."
> 
> This would suggest that the type annotation used for 'u' above should be Fixnum, not (Listof Fixnum).  Are the docs correct, or is the implementation?

That's a documentation error. I'll fix it.

Vincent