What steps will reproduce the problem?
1. Prod the simplifier in really weird ways
2. Spend 4 hours debugging
3. Spot that the simplifier made an inadvertant free variable capture
What is the expected output? What do you see instead?
Changing the invariants as documented in the code should make it more reliable.
Original issue reported on code.google.com by ndmitch...@gmail.com on 2 Mar 2007 at 2:41
Original issue reported on code.google.com by
ndmitch...@gmail.comon 2 Mar 2007 at 2:41