Replying to myself...
> David Pirotte has been experiencing a problem where (reload-module ...)
> was failing to trigger a recompilation even after the source file has
> been modified. [...]
[...]
> I've attached a patch to (hopefully) fix this problem. Unfortunately,
> David tells me that this doesn't solve his reload issue, so unless he
> made a mistake in testing it, [...]
It turned out that David made a mistake in testing, and this patch
_does_ fix his problem. I pushed it to stable-2.0. Thanks again to
David for reporting the problem and helping me track it down! :)
Mark
