Changes between Version 23 and Version 24 of Supercompilation


Ignore:
Timestamp:
Jul 18, 2009 4:35:24 PM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v23 v24  
    4747 * Write drive, msg, split in the R form.  Still with eager substitution 
    4848 * Export unfoldings for recursive functions.  Remember to add the "loop-breaker" info to interface files (and read it back in). 
    49  * Lambda lifting 
    5049 * Refined whistle-blowing test 
    5150 * Neil's msg idea 
     
    5857 * Post-pass to undo redundant specialisation?? 
    5958 * Neil does "evaluation" before specialising, to expose more values to let, and maybe make lets into linear lets.  We don't. Yet. 
     59 
     60Done  
     61 * Lambda lifting 
    6062 
    6163== Open questions ==