Changes between Version 42 and Version 43 of Supercompilation
- 07/30/09 03:22:55 (4 years ago)
v42 v43 4 4 5 5 == Problems == 6 7 6 8 7 9 * The Simplifier gets confused by the wrong OccInfo on things. So run occurence analysis at the end of supercompilation. The occurence analyser gets confused by having the wrong Unfoldings for id's though. We currently zap things here and there, but this is not the right way to do it.