Changes between Version 210 and Version 211 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 29, 2011 8:18:05 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v210 v211  
    9090 
    9191== Types and type inference == 
     92 * #1965: make existentials have a really cheap implementation 
    9293 * #5224: make it cheaper to check for inconsistent type family instances 
    9394 * #4466, #5296: explicit type application 
     
    136137 * #4479: type directed name resolution (TDNR) 
    137138 * #4426: simpler rule for implicit quantification 
    138  * #4372: better quasiquotes 
    139139 * #4359: lambda case 
    140140 * #4148: improvements to mdo syntax 
    141141 * #595: pattern-match overlap checking 
    142  * #3843: Add plugins 
    143142 * #3701: Implicitly declared existentials: a class as a type 
    144143 * #3217: better flag handling for GHCi