Changes between Version 49 and Version 50 of Supercompilation


Ignore:
Timestamp:
Nov 10, 2009 6:28:17 AM (6 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