[racket-dev] Contract barrier inefficiencies

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Dec 30 15:20:29 EST 2012

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?
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20121230/693821c3/attachment.html>

Posted on the dev mailing list.