Changes between Version 346 and Version 347 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 16, 2013 6:54:33 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v346 v347  
    179179 * #4479: type directed name resolution (TDNR)
    180180 * #4426: simpler rule for implicit quantification
    181  * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669: '''pattern-match overlap checking''', including with GADTs
     181 * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322: '''pattern-match overlap checking''', including with GADTs
    182182 * #3701: Implicitly declared existentials: a class as a type
    183183 * #3217: better flag handling for GHCi