[racket-dev] case-> and for/sum:

2013/1/5 Matthias Felleisen <matthias at ccs.neu.edu>:
>
> On Jan 4, 2013, at 6:35 PM, Jens Axel Søgaard wrote:
>
>> Here is my attempt. The only problem, is that when type checking
>> fails, the set! expression is blamed instead of user code.
>
>
> That is the key problem.

I know which user expression it is, body-expr, I just don't
know how to communicate it to the type checker.

/Jens Axel