On Tue, Oct 18, 2005 at 12:39:14AM +0200, Paul Thomas wrote: > Have you made any progress on fixing this? I would rather that the > debug information is not available than that equivalence is broken. I've been working on it. Is there a PR? r~