On Thu, 10 Sep 2009, Per Bothner wrote: > On 09/10/2009 03:16 PM, Brian Harvey wrote: >> Yes! If I redefine a procedure (including, btw, primitives) I want the new >> version to apply everywhere, including already-loaded code. This is a >> requirement for interactive debugging. > > It's a requirement for one style of interactive debugging. > It may not be practical if you have a compiler that does > compile-time name binding or inlining or type-checking, for example.
In understand the technical issue. However, I think the R5 specification actually imposes Brian Harvey's interpretation. I agree with it. The meaning of reassigning a location should not depend on whether its contents is a procedure or not - that way lies chaos. In a REPL context, this probably means that compiler inlining will have to turned off, or else dependent code will have to be recompiled when reassigning takes place. Andre _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
