Changes between Version 23 and Version 24 of Supercompilation


Ignore:
Timestamp:
Jul 18, 2009 4:35:24 PM (6 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 ==