[racket] procedure, contract, assoc, and REPL

On Thu, Jul 22, 2010 at 6:38 AM, Matthias Felleisen <matthias at ccs.neu.edu>wrote:

>
> YC, this can all work out IF you organize your program like this:
>
>  module A: define functions, export with contracts and only with contracts
>  module B: import A and create the assoc lists from here
>  module C: the client imports from B only and performs all ops on the assoc
> list via B operations
>
> Then the keys are contracted procedures and lookup works out fine.
>

Thanks Matthias for the idea.  I needed to have all procedures eq itself in
a dynamic setting (yes they already work in modules as expected), but as
Robby explained why they do not, I will try to explore alternative
approaches.

Thanks,
yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20100722/f7d08ff5/attachment.html>