Changes between Version 20 and Version 21 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 8:33:16 AM (6 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