[racket-dev] typed/racket for loops?

From: John Clements (clements at brinckerhoff.org)
Date: Tue Jun 7 15:10:58 EDT 2011

I can't get typed racket to work with for loops, e.g.:

#lang typed/racket

(: p (Listof Natural))
(define p 
  (for/list: : Natural ([i (in-range 30)]) i))

==> Type Checker: Error in macro expansion -- untyped variable: for-loop in: (for/list: : Natural ((i (in-range 30))) i)

Am I doing something silly here? I tried annotating the type of the loop variable 'i', with no change in the error message.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110607/d71c12b9/attachment.p7s>

Posted on the dev mailing list.