((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket-dev] Contract barrier inefficiencies

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Dec 30 14:27:20 EST 2012		 
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/ac6085be/attachment.html>
Posted on the dev mailing list.