Changes between Version 69 and Version 70 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 30, 2009 11:41:47 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v69 v70  
    7676 * #2859: optimise coercion terms 
    7777 * #2641: revise what `-XExtendedDefaultRules` does 
    78  * #1634: deep skolemisation 
     78 * #1634: deep skolemisation; also this one #3592 
    7979 * #3018: be lazier about solving class instances 
    8080 * #3108: interaction of fundeps and type class solving