On Mon, Sep 6, 2021 at 9:13 PM Phil <[email protected]> wrote: > Thanks for that Edward. I had a "random dehoist" again. Here's the > sequence of events I captured. >
Thanks. Just yesterday I converted a unit test involving dehoist, and discussed this issue with Félix on zoom. There are significant edge cases involved. I don't see any obvious reason why the tree should dehoist. Hopefully this > makes sense, and is helpful for you. > Yes, it's helpful. Hoists affect all of Leo's generators. If a generator returns a node outside of the hoisted area a dehoist will (probably :-) happen. Félix made an interesting remark yesterday: Fixing any difficult (apparently random) bug instantly becomes straightforward once we know the exact sequence of events that triggers the bug. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1-ZAzA4mDTCORrKb%3Dnvkvu4WDV2Q%2BLqO9Hbbjk%3DxjA%2Bg%40mail.gmail.com.
