On Sat, Aug 29, 2009 at 2:43 PM, Edward K. Ream<[email protected]> wrote:

> Thanks for this tip.  The bug should be easy to fix once it can be
> reproduced reliably.

I was not able to cause problems with this when I implemented hash
caching, that's why I left the implementation as it is (because I
still think it's the more elegant way)

It might be easier not to try to reproduce it, but just change the
implementation and ensure that the new implementation still works like
the old one (i.e. hash caching creates the "right" kind of trees).

-- 
Ville M. Vainio
http://tinyurl.com/vainio

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to