Changes between Version 22 and Version 23 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 9:23:13 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v22 v23  
    4343   * Extending this to specialised functions themselves. 
    4444 
    45 What next? 
     45What next? '''Implement the new algorithm.''' 
     46 
     47 * Write drive, msg, split in the R form.  Still with eager substitution 
    4648 * Export unfoldings for recursive functions.  Remember to add the "loop-breaker" info to interface files (and read it back in). 
    47  * Write drive, msg, split in the R form.  Still with eager substitution 
    4849 * Lambda lifting 
    49  * Using lazy substitutions 
    5050 * Refined whistle-blowing test 
    51  * Neil's msg 
     51 * Neil's msg idea 
     52 * State monad and good logging info 
    5253 
    5354Later 
     55 * Using lazy substitutions 
    5456 * Case-of-case duplication 
    5557 * Post-pass to identify deepId 
    5658 * Post-pass to undo redundant specialisation?? 
     59 * Neil does "evaluation" before specialising, to expose more values to let, and maybe make lets into linear lets.  We don't. Yet. 
    5760 
    5861== Open questions ==