Changes between Version 37 and Version 38 of Supercompilation


Ignore:
Timestamp:
Jul 27, 2009 1:18:26 PM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v37 v38  
    22 
    33This page is very much a draft and may be incorrect in places. Please fix problems that you spot. 
     4 
     5== Problems == 
     6 
     7* 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. 
    48 
    59== Insights ==