On Dec 29, 2012, at 11:04 PM, Robby Findler wrote: > > That's what the patch I sent does I think (specifically in the case of an > arrow contract on a function)? Am I missing something? >
I think the contracts are repeated and not defined locally so that 'eq?' doesn't apply. Does this explain the problem?
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
