Changes between Version 60 and Version 61 of Supercompilation


Ignore:
Timestamp:
Jan 7, 2010 12:41:49 AM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v60 v61  
    77 * Naivrec: Double runtime 
    88 * nbody: unsafe-things, segfault. 
    9  * boyer2: head: empty list; splitTerm 
    10  * Sieve2: run with argument 3. Wrong output. 
    11  * The Simplifier gets confused by the wrong `OccInfo` on things. So run occurrence analysis at the end of supercompilation. The occurrence analyser gets confused by having the wrong Unfoldings for id's though. We currently zap things here and there, but this is not the right way to do it. 
     9 * boyer2: Hang 
    1210 
    1311== Shortcomings of the prototype ==