On Jun 7, 2011, at 12:24 PM, Hari Prashanth wrote: > Its a bad error message I believe. > > (: p (Listof Fixnum)) > (define p > (for/list: : (Listof Fixnum) ([i : Fixnum (in-range 30)]) i))
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? John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev