Changes between Version 59 and Version 60 of Supercompilation


Ignore:
Timestamp:
Dec 20, 2009 1:56:38 AM (4 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.