Sam Tobin-Hochstadt
unread,May 25, 2015, 7:22:19 PM5/25/15Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Sign in to report message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Vincent St-Amour, Alexander D. Knauth, Antonio Menezes Leitao, Racket Dev
I would say that the real problem is simply an un-annotated function
argument. If you add an appropriate annotation for `i`, everything
works. Typed Racket works hard to help when you don't annotate things,
but in general you need to annotate function arguments, and loop
variables are just an instance of that. I don't think rewriting the
`for` macros will get around that problem.
Sam
On Mon, May 25, 2015 at 5:59 PM, Vincent St-Amour <
stam...@ccs.neu.edu> wrote:
> As Alex said.
>
> The problem is not with `in-range`, but rather with TR's inference
> having trouble with the loop in the expansion of `for`.
>
> Asumu has been working on new versions of the `for` forms which should
> play nicer with inference. Those should hopefully solve this problem.
>
> Vincent
>
>
>
>
> At Sun, 24 May 2015 13:54:44 -0400,
> Alexander D. Knauth wrote:
>>
>>
https://groups.google.com/d/msgid/racket-dev/4B26BC02-C80B-4EB5-8B51-9474E88B4D84%40knauth.
>> org.
> --
> You received this message because you are subscribed to the Google Groups "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
racket-dev+...@googlegroups.com.
> To post to this group, send email to
racke...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-dev/m2r3q4xqrd.wl-stamourv%40ccs.neu.edu.