[racket] Typed Racket and macros expanding to for*:

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Jul 25 22:07:05 EDT 2012

At Wed, 25 Jul 2012 17:56:38 -0400, Matthias Felleisen wrote:
> 
> On Jul 25, 2012, at 5:51 PM, Jens Axel Søgaard wrote:
> > I interpret this paragraph to mean, that
> > 
> >     (for/vector #:length 10 ([i (in-naturals)]) i)
> > 
> > ought to terminate - but it doesn't !
> > 
> > The question is now, whether the bug is in the documentation, the 
> implementation
> > or my interpretation.
> 
> 
> There is certainly a conflict between the docs and the behavior. 
> 
> I think the docs describe the desirable behavior so I suggest you
> submit a bug report against the code. If this is wrong, I am sure 
> Matthew will let us know. 

Right, I'll push a repair. The solution involves using `stop-after'.



Posted on the users mailing list.