Changes between Version 361 and Version 362 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 28, 2013 8:06:45 AM (10 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v361 v362  
    184184 * #4479: type directed name resolution (TDNR) 
    185185 * #4426: simpler rule for implicit quantification 
    186  * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322: '''pattern-match overlap checking''', including with GADTs 
     186 * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016: '''pattern-match overlap checking''', including with GADTs 
    187187 * #3701: Implicitly declared existentials: a class as a type 
    188188 * #3217: better flag handling for GHCi