Changes between Version 22 and Version 23 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 9:23:13 AM (6 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 ==