Changes between Version 49 and Version 50 of Supercompilation

Show
Ignore:
Timestamp:
11/09/09 22:28:17 (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Supercompilation

    v49 v50  
    55== Current Bugs == 
    66 
    7 * Naivrec: infinite recursion 
     7* Naivrec: Double runtime 
    88 
    99* Boyer Moore: out of memory 
    1010 
    11 * nbody: Assertion 
     11* nbody: Assertion; evalPush 
    1212 
    1313* boyer2: head: empty list; splitTerm 
    1414 
    15 * Sieve2: run with argument 3. Wrong output. 
     15* Sieve2: infinite recursion (old: run with argument 3. Wrong output.) 
    1616 
    1717== Open shortcomings == 
    … …  
    7474   * Validate with flag off; then push. 
    7575 * Add IO monad;  
    76  * Write msg in the R form.  Still with eager substitution 
    7776 * 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. 
    7877  * Neil's msg idea 
    … …  
    9089 * Refined whistle-blowing test 
    9190 * Write split in the R form. 
     91* Write msg in the R form.  Still with eager substitution 
    9292 * add logging (one line per specialisation start, and completion) 
    9393 * Use a record for the memo table contents