Changes between Version 38 and Version 39 of Supercompilation

Show
Ignore:
Timestamp:
07/27/09 06:41:25 (4 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