Changes between Version 42 and Version 43 of Supercompilation


Ignore:
Timestamp:
Jul 30, 2009 10:22:55 AM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v42 v43  
    44 
    55== Problems == 
     6 
     7* The whistle implementation: What does the subterms of a context mean? 
    68 
    79* 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.