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

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Fri Jan 4 19:00:11 EST 2013

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

Posted on the dev mailing list.