Changes between Version 30 and Version 31 of Supercompilation


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v30 v31  
    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. 
     9 * Exposing all unfoldings: 
     10   * Flag -fexpose-all-unfoldings (a cousin of -fomit-interface-pragmas) (default is off) to switch on the spit-out-all-unfoldings stuff. 
     11   * Validate with flag off; then push. 
    1112 * Add IO monad; add logging (one line per specialisation start, and completion) 
    1213 * Use a record for the memo table contents