I am no longer sure but Neil's earlier message suggested "no" is the right answer to this question in the sense that even if you make the contracts be eq? by using a local variable then it isn't enough because the functions with the contracts are not eq?.
Neil, can you clarify? Robby On Sunday, December 30, 2012, Matthias Felleisen wrote: > > 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