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