On Wed, Apr 3, 2013 at 7:08 PM, David Van Horn <dvanhorn at ccs.neu.edu> wrote: > This is a recurring issue with no current solution (as far as I know). > > http://lists.racket-lang.org/users/archive/2012-December/055488.html
Okay, thanks for the answers, David and Robby. It sounds like transitive reinterpretation, as David put it, is indeed what I wish I had here. (And a module system for Redex would be very cool!) Lindsey ____________________ Racket Users list: http://lists.racket-lang.org/users