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


Ignore:
Timestamp:
Jun 28, 2013 8:06:45 AM (2 years 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