Changes between Version 59 and Version 60 of Supercompilation


Ignore:
Timestamp:
Dec 20, 2009 1:56:38 AM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v59 v60  
    1616 * Homeomorphic embedding for types?  Currently all types are regarded as equal (like literals).  Decision: leave it this way for now.
    1717 * 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.
    18  * Inlining `unsafePerformIO` and other NOINLINE things.
    19  * Adding constraint info
     18  * Adding constraint info
    2019   * case (x>y)of { ....case (x>y) of ... }
    2120   * Extending this to specialised functions themselves.