Changes between Version 47 and Version 48 of Supercompilation


Ignore:
Timestamp:
Aug 17, 2009 12:19:53 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v47 v48  
    88 
    99== Problems == 
    10  
    11 * The whistle implementation: What does the subterms of a context mean? 
    1210 
    1311* 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. 
     
    5048   * Validate with flag off; then push. 
    5149 * Add IO monad;  
    52  * Write msg, split in the R form.  Still with eager substitution 
     50 * Write msg in the R form.  Still with eager substitution 
    5351 * Figure out arity for each top-level (lambda lifted) function, and only inline when it is saturated.  (Write notes in paper, explaining why this might be good.)  NB: linearity becomes simpler, because a variable cannot occur under a lambda. 
    54  * Refined whistle-blowing test 
    55  * Neil's msg idea 
     52  * Neil's msg idea 
    5653 
    5754Later 
     
    6562 
    6663Done  
     64 * Refined whistle-blowing test 
     65 * Write split in the R form. 
    6766 * add logging (one line per specialisation start, and completion) 
    6867 * Use a record for the memo table contents