2013/1/5 Matthias Felleisen <matth...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev