YC wrote: > > On Thu, Jul 22, 2010 at 6:38 AM, Matthias Felleisen <matth...@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.
FWIW I've done this in a couple of places before and it works quite well. -- D
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
