Changes between Version 45 and Version 46 of Supercompilation

Show
Ignore:
Timestamp:
08/05/09 06:44:40 (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Supercompilation

    v45 v46  
    4545   * Flag -fexpose-all-unfoldings (a cousin of -fomit-interface-pragmas) (default is off) to switch on the spit-out-all-unfoldings stuff. 
    4646   * Validate with flag off; then push. 
    47  * Add IO monad; add logging (one line per specialisation start, and completion) 
     47 * Add IO monad;  
    4848 * Write msg, split in the R form.  Still with eager substitution 
    4949 * 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. 
    … …  
    6161 
    6262Done  
     63 * add logging (one line per specialisation start, and completion) 
    6364 * Use a record for the memo table contents 
    6465 * State monad and good logging info; Stole SimplMonad.