Changes between Version 31 and Version 32 of Supercompilation


Ignore:
Timestamp:
Jul 23, 2009 10:02:30 AM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v31 v32  
    1111   * Validate with flag off; then push. 
    1212 * Add IO monad; add logging (one line per specialisation start, and completion) 
    13  * Use a record for the memo table contents 
    1413 * Write msg, split in the R form.  Still with eager substitution 
    1514 * 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. 
     
    2625 
    2726Done  
     27 * Use a record for the memo table contents 
    2828 * State monad and good logging info; Stole SimplMonad. 
    2929 * Lambda lifting