Changes between Version 29 and Version 30 of Supercompilation


Ignore:
Timestamp:
Jul 23, 2009 8:03:09 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v29 v30  
    77What next? '''Implement the new algorithm.''' 
    88 
     9 * Flag -fexpose-all-unfoldings (a cousin of -fomit-interface-pragmas) (default is off) to switch on the spit-out-all-unfoldings stuff. 
     10 * Validate with flag off; then push. 
     11 * Add IO monad; add logging (one line per specialisation start, and completion) 
     12 * Use a record for the memo table contents 
    913 * Write msg, split in the R form.  Still with eager substitution 
    1014 * 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.