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


Ignore:
Timestamp:
Dec 29, 2011 8:18:05 AM (4 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