Changes between Version 40 and Version 41 of Supercompilation


Ignore:
Timestamp:
Jul 28, 2009 5:12:43 PM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v40 v41  
    4646Later 
    4747 * Faster representation for memo table; a finite map driven by the head function 
     48 * Use idUnfolding and a bitmap for letrec/toplevel things instead of traversing the binds list. 
    4849 * Using lazy substitutions 
    4950 * Case-of-case duplication