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


Attachment: smime.p7s
Description: S/MIME cryptographic signature

_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to