<div><br><div class="gmail_quote">On Thu, Jul 22, 2010 at 6:38 AM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div style="word-wrap:break-word"><div><br></div><div>YC, this can all work out IF you organize your program like this: </div><div><br></div><div> module A: define functions, export with contracts and only with contracts </div>
<div> module B: import A and create the assoc lists from here </div><div> module C: the client imports from B only and performs all ops on the assoc list via B operations </div><div><br></div><div>Then the keys are contracted procedures and lookup works out fine. </div>
</div></blockquote><div><br></div><div>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. </div>
<div><br></div><div>Thanks, </div><div>yc</div><div><br></div></div>
</div>