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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev