Changes between Version 85 and Version 86 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 16, 2009 11:52:49 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v85 v86  
    1818 
    1919=== Inlining === 
     20 * #3765: CONLIKE things and case expressions (need two unfoldings) 
    2021 * #3755: idea for "wrapper peeling" for join points. 
    2122 * #3586: inlining default methods