Changes between Version 38 and Version 39 of Supercompilation


Ignore:
Timestamp:
Jul 27, 2009 1:41:25 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v38 v39  
    7070The typed intermediate representation has caused some trouble, but nothing fundamental.
    7171
    72 Fixes that should go into the implementation:
    73 
    74  * Understand how the inscope-set is handled in SpecConstr, and use that. Stop recreating inscope-sets in substNewExpr (top3 on memory profile).
    75 
    76  * Implement Simon's algorithm.
    77 
    7872Shortcomings of the prototype:
    7973 * Use a state monad