Changes between Version 20 and Version 21 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 8:33:16 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v20 v21  
    3232 * Implement Simon's algorithm. 
    3333 
     34Other things we need to watch out for 
     35 * Divide by zero 
     36 * Homeomorphic embedding for types?  Currently all types are regarded as equal (like literals).  Decision: leave it this way for now. 
     37 * Msg does not respect alpha-equivalence.  If we match lambda against lambdas, and the binders differ, we say "different".  Decision: deal with alpha-equiv in msg when we have the new alg working. 
     38 * Inlining `unsafePerformIO` 
     39 * Adding constraint info 
     40   * case (x>y)of { ....case (x>y) of ... } 
     41   * Extending this to specialised functions themselves. 
     42 
    3443== Open questions == 
    3544