Changes between Version 48 and Version 49 of Supercompilation


Ignore:
Timestamp:
Aug 20, 2009 10:16:01 AM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v48 v49  
    22
    33This page is very much a draft and may be incorrect in places. Please fix problems that you spot.
     4
     5== Current Bugs ==
     6
     7* Naivrec: infinite recursion
     8
     9* Boyer Moore: out of memory
     10
     11* nbody: Assertion
     12
     13* boyer2: head: empty list; splitTerm
     14
     15* Sieve2: run with argument 3. Wrong output.
     16
     17== Open shortcomings ==
     18
     19* Msg on new terms
     20
     21  * Change representation in rho
     22
     23* case var subst
     24
     25* strictness annotations
     26
     27* unsafePerformIO etc.
     28
     29* Extend homemb.
    430
    531== Lambda lifting ==